use wget to retrieve the file