Updated repository name for github auto-build.