/etc/php.d/25_gmp.ini /usr/lib64/php/extensions/gmp.so