Minor change phpunit.xml.dist