installation: fix repo to use