the problem was the encoding of stdout; fixed