Workaround for ansi colors in a repl.