Curl download

s3file seems broken.  We can directly download from curl anyway.