Upgrading gnome-themes-standard