gnome-theme-manager fails