dbm.cmi:
dbm.cmo: dbm.cmi
dbm.cmx: dbm.cmi
