timestamp for build/config.h
