Fix some remaining occurrences of old reponame.