use curl instead of url-copy-file for downloading