Add GNOME 3.8 support