added jit_opts.h