Use curl since its available, unlike wget