Fix issue with OpCache for PHP 5.5