fix bug 732079: Accept demo ZIP uploads with filenames containing non-ASCII characters