why does phpunit xml end with .dist everywhere?