+utility.cmo: dbconn.cmi utility.cmi
+utility.cmx: dbconn.cmx utility.cmi
+func.cmo: dbconn.cmi mathql.cmo utility.cmi func.cmi
+func.cmx: dbconn.cmx mathql.cmx utility.cmx func.cmi
+diff.cmo: diff.cmi
+diff.cmx: diff.cmi
+sortedby.cmo: func.cmi mathql.cmo utility.cmi sortedby.cmi
+sortedby.cmx: func.cmx mathql.cmx utility.cmx sortedby.cmi