timestamp for lib/defs.h