Remove unnecessary globals

Incidentally, this fixes it so that you don't have to precompile your
robots anymore. :)