changed defs.h