Add compatibility with Gnome 3.10