fix gmp incompatibility