Update to GNOME 3.10