using unicode as output encoding for console