catkin_tools fix