path.cmi: sexp.cmi