upgrade gnome-terminal 3.6.2 -> 3.7.2, not yet building as it needs vte 34