Fix string encoding in DumpFile (#260).