Use PHP 5.4 compatible zend_execute in #if