filetree.cmi: slave.cmi
filetree.cmo: utils.cmi slave.cmi filetree_type.cmi filetree_ops.cmi deviceSet.cmi filetree.cmi
filetree.cmx: utils.cmx slave.cmx filetree_type.cmx filetree_ops.cmx deviceSet.cmx filetree.cmi
-filetree_ops.cmi: filetree_type.cmi
-filetree_ops.cmo: utils.cmi filetree_type.cmi filetree_ops.cmi
-filetree_ops.cmx: utils.cmx filetree_type.cmx filetree_ops.cmi
+filetree_ops.cmi: slave.cmi filetree_type.cmi
+filetree_ops.cmo: utils.cmi slave.cmi filetree_type.cmi filetree_ops.cmi
+filetree_ops.cmx: utils.cmx slave.cmx filetree_type.cmx filetree_ops.cmi
filetree_type.cmi: slave.cmi
filetree_type.cmo: utils.cmi slave.cmi filetree_type.cmi
filetree_type.cmx: utils.cmx slave.cmx filetree_type.cmi