timestamp for build-aux/config.h