patch applied (cabal-install): Don't include the default repo when loading the config file