Fix pre conditions in php::compile_ext