Add compatibility for gnome shell 3.12
Merge pull request #26 from p91paul/compatibility-3.12

Add compatibility for gnome shell 3.12