add .dist extension to phpunit.xml