static File extractProjectForLocalCompilation(S programID, File/S destDir) {
  File tempZip = javaxCachesDir(psI(programID) + "-project.zip");
  zip2dir(projectForLocalCompilation(programID, tempZip), destDir);
  ret destDir;
}