if CATKIN_DEVEL_PREFIX is not set, use CMAKE_INSTALL_PREFIX