Gnome shell 3.10 support and version update