php-phalcon: optimized sources