Вроде все элементарно. Думал проблем не возникнет. Сделал все по мануалу в оф.документации. Расширение phalcon.so присутствует. Создал файл phalcon.ini в каталоге /etc/php5/mods-available. На этот файл сделал символические ссылки в /etc/php5/cli/conf.d и /etc/php5/fpm/conf.d. Nginx перезапустил. Но в phpinfo запись о расширении не появляется. Что я мог упустить?
