fix gnome terminal