Fix a detail in phpunit.xml.dist