-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.cmo: utils.cmi slave.cmi filetree_type.cmi filetree_ops.cmi filetree_markup.cmi deviceSet.cmi filetree.cmi
+filetree.cmx: utils.cmx slave.cmx filetree_type.cmx filetree_ops.cmx filetree_markup.cmx deviceSet.cmx filetree.cmi
+filetree_markup.cmi: slave.cmi filetree_type.cmi
+filetree_markup.cmo: utils.cmi slave.cmi filetree_type.cmi filetree_markup.cmi
+filetree_markup.cmx: utils.cmx slave.cmx filetree_type.cmx filetree_markup.cmi