pres_intf.cmi: strat.cmi