Add cabal file that works