use curl to download