Sync with API change in PHP_CodeCoverage 1.2.10