timestamp for config.hh