RE: gnome-theme-manager fails