Gnome 3.10 compatibility