Update CoverageCounter.pl