Support GNOME 3.8