===> Cleaning for gmp-5.1.3