rebuild gnome-terminal