static File zip2uncompressedZip(File in, File out) {
  {
    temp var zipOut = zipOutputStream(out);
    zipOut.setMethod(ZipOutputStream.STORED);
    zip2zip(in, zipOut);
  }
  print("Converted " + renderFileInfo(in) + " (deflated) to "
    + renderFileInfo(out) + " (stored)";
  ret out;
}