Fix catkin install