timestamp for lib/config.h