adjust for repo name change.