fix phpunit.xml.dist