Re: fix a broken gnome desktop ?