Tweak phpunit.xml.dist