(*)use wget instead of curl to download files from github