[4.2] Fixed Coverage Config

Running phpunit, enabling the coverage reports, is broken without these fixes.