Unicode file names in the export manifest

A short fix: file names with accented or non-Latin characters were being written to the export manifest in a normalised form that did not always match the file inside the zip. They now match byte for byte. Existing exports are unaffected; re-export if you want a clean manifest.