fixed #255: Console output should be UTF8