patch applied (cabal-branches/cabal-1.10): Fix processing of ghc-shared-options