timestamp for cgi_config.h