try to fix gmp compilation on android