"added mozart/oz configuration"