Encode `mime` in ZIP archive name