fix options in cabal configure