timestamp for ./include/config.h