Whong php-config, правильно php -v и phpize

Это нормально

phpize

PHP Api Version:         20170718
Zend Module Api No:      20170718
Zend Extension Api No:   320170718

Это тоже нормально

php -v

PHP 7.2.34-18+ubuntu18.04.1+deb.sury.org+1 (cli)

Это не нормально

php-config --version

7.3.27-9+ubuntu18.04.1+deb.sury.org+1

Везде, где я читал, написано «просто установите php7.2-dev», но он уже установлен.

php7.2-dev is already the newest version (7.2.34-18+ubuntu18.04.1+deb.sury.org+1).

Очевидно, вопрос в том, как мне заставить php-config соответствовать phpize и php -v