Make PHP_CodeCoverage 1.3 compatible with Xdebug < 2.2
Leftover from ff0b7a679570cc3a3374cea4fa693d4ef60def7c