proper .cabal file