#10801: In zipfile, support different encodings for the header and the filenames.  Patch by MvL, test by Eli Bendersky.