Use curl (not wget) to avoid confusing Mac users