gnome 3.12 support

the extension was updated to work with Gnome 3.12