svoid deleteAllProgramFiles() {
  File f = programDir();
  deleteDirectory(f);
}