make catkin optional for building