Steps mentioned in official docu, to create file 30-phalcon.ini in /etc/php.d folder (which doesn't exist pre default.) didn't work for me.
What worked is creating the file (I named it just phalcon.ini.) with the same content 'extension=phalcon.so', in /etc/php5/mods-available, and then running:
sudo php5enmod phalcon