Fix gnome terminal colors