timestamp for gnuconfig.h