gnome-terminal has a weight problem