Problems fetching binaries from github.com