timestamp for src/curl_config.h