updated colors for gnome-terminal (again)