Basic changes on the funsat.cabal descriptor.