patch applied (cabal-install): Switch the defaultResolver to the new topDownResolver