Re: Repeated F17 gnome-shell crash, with fix