===> Cleaning for gecode-6.2.0