cryptol2: pass sufficiently recent versions of Cabal and cabal-install