gmp is not needed in build-php.pl