aha, catkin's workspace.cmake is the place to set things!