int get_curl(const char *darcs_version, const char *proxyuserpass, const char *filename, const char *url, int cache_time);