char *ghc_rts_opts="-I0";