changed: using gnome-terminal 16 color palette