Add compatibility with Gnome 3.10

Tested on ArchLinux, this extension works without any problem with Gnome 3.10.