This patch fixes a "cabal install" failure problem