function curl_download($remote, $local) {