phpunit: use .dist suffix