spec for php54 phalcon