changing the gnome window manager