update to gnome 3.10