-nTactics.cmi:
-nTactics.cmo: nTactics.cmi
-nTactics.cmx: nTactics.cmi
+nTactics.cmi: nTacStatus.cmi
+nTacStatus.cmo: nTacStatus.cmi
+nTacStatus.cmx: nTacStatus.cmi
+nTactics.cmo: nTacStatus.cmi nTactics.cmi
+nTactics.cmx: nTacStatus.cmx nTactics.cmi