HAL_Linux: update ROS header