fix gnome terminal palette