upload mzn file