Travis: actually fix gazebo version reporting command...