update to GNOME 3.10