Update options.cabal