Add support for GNOME 3.8