extra_ghc_opts syntax