Add compatability with Gnome 3.12

The extension works as intended on Gnome 3.12 without any further modification.