added initial gnome shell 3.10 support