Fixes to the cabal file