wstool doesn't support ROS anymore