use wget if curl is not found