Issue #13664: GzipFile now supports non-ascii Unicode filenames.