Point to the repo on github, and bump version to 0.7.1.1.