modify .cabal for cabal check