pickle_tests.cmo: defs.cmo 
pickle_tests.cmx: defs.cmx