support for Gnome 3.10