Ubuntu 12.04 & mdash; php-config5 указывает на 5.3 вместо 5.4

У меня возникла проблема с установкой расширения php (структура Phalcon) из-за обновления с php 5.3 до 5.4 некоторое время назад.

Я модернизировал использование ondrej-php5-точного репозитория. Все работает нормально, и если я запустил phpinfo, я понял, что версия

из cli:

PHP 5.4.17-1~precise+1 (cli) (built: Jul 17 2013 18:14:06)

из сети:

PHP Version 5.4.17-1~precise+1

Но если Я запускаю php-config5 --version Я получаю 5.3.10-1ubuntu3.11

И теперь, когда я пытаюсь установить phalcon, он компилирует его для php5.3 вместо php5.4.

Я прочитал на форумах, которые мне нужно использовать для правильного phpize для 5.4 при его создании. Но у меня есть два файла phpize и phpize5 (то же самое для php-config и php-config5), и оба указывают на версию php5.3

Stev