No meu caso, no Ubuntu, havia o php7.1 (fpm) e o php7.2 (cli) instalados.
Alternando o CLI explicitamente para o php7.1 usando
sudo update-alternatives --set php /usr/bin/php7.1
sudo update-alternatives --set phpize /usr/bin/phpize7.1
sudo update-alternatives --set php-config /usr/bin/php-config7.1
resolve o problema para mim.