gazebo4 4.0.0: new formula