title: Zip or unzip a file with different file name encoding?
body: <p>I have files with name out-of-ASCII on a Linux server to zip. Unfortunately, UTF8-encoded files always have file name corrupted on extracting on Windows.</p>
  
  <p>Is there a way to zip files with name encoded in a specific charset different to the local system charset? Or is there a tool that can extract UTF8-encoded files with correct name on Windows?</p>
  
  <p>(If the solution is a script, PHP or Python are preferred.)</p>