Removed the obsolete game::mondebug()