[GHC] #13392: ghc --show-options lists flags twice