Which JIT backend to use