Use curl when wget is not available
Updated dist_url
Merge pull request #12 from tkawachi/master

Use curl when wget is not available