Some more details on differences to catkin_make