The repo is renamed, so change import paths