Fixed compilation error with PHP-5.6.0RC1