weak_intf.cmi: strat.cmi