support for gnome 3.10