Fix #3 zend_error_noreturn undefined