Gnome-shell 3.12 compatibility