fix curl_get_file