fix for catkin make