fix old repository name in install instructions