Update from latest gnome3 ports