Removed some obsolete stuff from supertux/globals.hpp