No meu caso
php -v
mostrou a versão 7.2
e
php-config --version
mostrou a versão 7.0
Minha solução foi executada:
sudo apt-get install php7.2-dev
para que as versões correspondam
e agora em execução
php-config --version
mostra 7.2
corretamente
E a execução de phpize
mostra:
Configuring for:
PHP Api Version: 20170718
Zend Module Api No: 20170718
(alterado de 20151012
para 20170718
)