===> Cleaning for minizinc-2.9.7