Make sure the right version of Cabal is used