update to GNOME 3.8