something I don't understand, but for now ignore this.

Output the file name such that it cannot contain non-ascii characters.