ubuntu 14.04 compatibility fix rtt-gazebo removed