Workaround for catkin building