Fix detail in phpunit.xml.dist