[scripts/clean.sh][s]: use curl rather than wget.