timestamp for src/pre_config.h
