Add Gnome 3.10 support