timestamp for include/do-not-use-config.h
