[ros-diffs] [navaraf] 12799: Remove a broken header that's not needed anymore.