Change repository name in install instructions