Eu sugiro fazer do / usr / lib64 / php / modules um link simbólico para a pasta com o ID. Isso evita misturar extensões de diferentes versões do PHP a longo prazo.
Além disso: Você deve ser capaz de configurar EXTENSION_DIR
como variável de ambiente antes de executar a configuração do PHP. algo como
$ EXTENSION_DIR=/my/location ./configure --with-some-extension