timestamp for config/config.h