Make the installer use the right repo