hivex.cmi:
hivex.cmo: hivex.cmi
hivex.cmx: hivex.cmi