Adapt to repo name-change