update to gnome shell 3.10