Fix cabal checks