timestamp for include/config.h