Fixing missing ext/phalcon.c