Add compatibility for gnome shell 3.12

It just works (luckily :smile: )