Work around some issues with colored ouput and streams in general