convert prtinf() strings to local charset when writing them to stdout or