timestamp for cgicc/config.h
