Fix php5.5 opcode cache invalidation bug