svoid bootstrapConceptsFrom(S progID) {
  S ending = ".gz";
  File f1 = getProgramFile(progID, "concepts.structure" + ending);
  File f2 = getProgramFile(programID(), "concepts.structure" + ending);
  if ((!f2.exists() || eq(ending, ".gz") && fileSize(f2) <= 24) && f1.exists())
    copyFileVerbose(f1, f2);
}