using .dist for phpunit.xml