refine readFile.ml