fix wget cloud.github.com, use curl