Re: [GHC] #13930: Cabal configure