Ubuntu 12.04 - 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