Fix phpunit.xml.dist