Make PHP_CodeCoverage 1.3 compatible with PHP 5.3.3