Support for GNOME 3.10