finer fixes for ext/opcache