Re: F17 gnome desktop broken after updating gnome-shell, mutter, clutter