timestamp for config.h:config.in
