static File zip2uncompressedZip(File in) {
  ret zip2uncompressedZip(in, appendToBaseName(in, ".uncompressed"));
}

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