static File[] filesInProgramDir(S progID) {
  ret listProgramFiles(progID);
}