sort out git prompt, use curl rather than wget