[FIX] fix script
Merge branch 'feat-mzn' into develop