#976: Invalidate updated cache files from PHP's Opcache

Patch provided by Pierre, thanks!