fix for catkin