Use curl rather than wget, it seems to be more consistently available.