move read_mmfile() into xdiff-interface