Fix bad foreground color in gnome-terminal