[BUGFIX] Fix OpcodeCache for PHP 5.3