fix catkin install problems