remove nethack, add gerrit. disable unused