Add Gnome 3.12 compatibilty

Hello,
I have tested your extension on gnome 3.12 on ArchLinux and it is running well.