PHP 5.4 интерактивный режим на Ubuntu 12.04

Я большой поклонник интерактивного режима PHP (php -a). Сегодня я решил установить PHP 5.4, чтобы немного поиграть. Приятно использовать новый встроенный сервер и все такое, но мне было очень грустно, когда я обнаружил, что интерактивный режим не работает.

Я установил PHP 5.4 на своем Ubuntu, добавив PPA :

add-apt-repository ppa:ondrej/php5
apt-get update
apt-get install php5

И это то, что я получаю, когда я запускаю php -a:

$ php -a
Interactive mode enabled

Aaaaand больше ничего. Насколько я знаю, этот PPA следует за новейшим PHP5, поддерживаемым командой разработчиков PHP PKG Debian, и, насколько я знаю, интерактивный режим также обычно прерывается только что установленными Debians.

Любые идеи о том, как его вернуть ? Предпочтительно использовать некоторые другие PPA или, по крайней мере, без компиляции - это обычно менее болезненно.