Directorio actual:
/usr/include/php7.3/ext/gmp
Archivos:
php_gmp_int.h
..
.