Character encoding problem on non-UTF8 platform

[Jesper Öqvist]

When running pretty printing tests I get problems when I include non-UTF8 characters on a non-UTF8 platform. The pretty-printed output should be in UTF8.