Using current gazebo because 1.9 seems not to be packaged in deb repository