constdefs.h: rename to constdef.h for 8.3 filenames for DOS