Fixes color problems with gnome-terminal.