Fix php-phalcon setup