timestamp for source/config.h