get the right version on github.com