===> Cleaning for tex-gmp-1.0