gnome-terminal bugfix