static File compilerBotDestDir() {
  ret actualUserDir(compilerBotDestDirSubName());
}

static File compilerBotDestDir(S sub) {
  ret newFile(compilerBotDestDir(), sub);
}