static File projectForLocalCompilation(File destZip, S programID) {
  temp var zipOut = zipOutputStream(destZip);
  Pair<S, LS> p = extractLibsFromTranspilation(getServerTranspiled2(programID));
  text2zip(p.a, zipOut, "main.java");
  new LS libPaths;
  for (lib : p.b) {
    S libPath = "lib" + lib + ".jar";
    libPaths.add(libPath);
    file2zip(loadLibraryOrSrcLib(lib), zipOut, libPath);
  }
  text2zip("javac -cp " + join(":", libPaths) + " main.java\n", zipOut, "compile");
  text2zip("java -cp .:" + join(":", libPaths) + "\n", zipOut, "run");
  ret destZip;
}

static File projectForLocalCompilation(S programID, File destZip) {
  ret projectForLocalCompilation(destZip, programID);
}