Use a more portable interface for dump/read into a file