Is Gnome windown manager switching broken again?