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