dump_tests.cmo: defs.cmo 
dump_tests.cmx: defs.cmx