timestamp for config/config.h
