Update catLastModifiedFile.ml