use download.py - it's platform neutral and smarter than wget/curl/ftp...