Try to make the extension compatible with Gnome 3.12.