Use UTF-8 rather than platform default encoding