gazebo: use hard-coded cmake arguments