use wget if curl isn't available