use curl to get the file from the interweb