use the utf-8 codec for stdout.