[ros-diffs] [gedmurphy] 18400: remove a header no longer needed too