Let's use curl. It's nicer than wget.