timestamp for lib/curl_config.h