ghc_opts used in ghci too