RE: extra_ghc_opts syntax