library repo name has changed at launchpad, and will soon be switched to github.