fix coverage data for the opcache optimizer