using phpunit.xml.dist