svoid teeSystemOutAndErrToFile(File f) ctex {
  print("Logging to " + f2s(f));
  FileOutputStream fileOut = newFileOutputStream(f, true);
  System.setOut(teePrintStream(System.out, fileOut));
  System.setErr(teePrintStream(System.err, fileOut));
}