[Andrew80k]

I'll put up a new compiled Bots version later. I'm not sure who does the No Bots version, but I guess I could do that as well.