enforce utf8, don't rely on stdout encoding