static File programLogFile() {
  ret programFile("log.txt");
}