Gnome shell 3.10 and 3.12 support