Nachtrag:
Sowohl phpize als auch php-config zeigen die korrekte Version an:
Configuring for:
PHP Api Version: 20190902
Zend Module Api No: 20190902
Zend Extension Api No: 320190902
php-config --version
7.4.6
Auch mein Versuch mit
./configure --with-php-config=/usr/bin/php-config
war leider ohne Erfolg.