add gnome-shell 3.10 support