timestamp for config.h
