Update for GNOME 3.8