Openshift Phalcon Cartridge

Hi everyone, I was wondering whether there has been any interest in creating a Phalcon cartridge for openshift? Currently there is no way to get phalcon enabled with the locked-down PHP5 cartridge. From what I understand, even creating a custom OpenShift application does not allow a phalcon extension to be loaded into PHP either. My thinking was to get an Openshift Phalcon Cartridge out there.