Use curl when wget is not available
Updated dist_url