correct cabal file