Rename one file that has a non-ASCII character in the distfile, since tar complains about this name during installation.