📍 /opt/cpanel/ea-php80/root/usr/include/php/ext/gmp