Fixed issue #128 (opcache_invalidate segmentation fault)