timestamp for scripts/.autostuff/config.h