===> Cleaning for gecode-3.7.3