Let the command line also turn ANSI colors off