added support for Gnome 3.12