static File extractProjectForLocalCompilation(S programID, File destDir) {
  zip2dir(projectForLocalCompilation(programID, destDir);
  ret destDir;
}