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