Fix for PHP_FE_END compile error on ubuntu