a few changes to jit translation