Fix gnome-terminal coloring