Fix cabal check errors