Migrated to Webots 7.2.0