Models renamed to end with .mzn