fixed some cabal check issues