fix phalconphp-setup