Fix phpunit config for coverage