Resync to latest OPcache changes and PHP 5.5 support