Fix gnome terminal