Fixed zend_optimizerplus.enable_file_override=1 compatibility with PHP-5.3