timestamp for config.h