Hi Tim, Your patch is great but you have forgotten the code compatibility with JIT for jitCodeHeader. I think it is simple to adapt but could you do it ? It breaks the compilation on platforms which only supports JIT. Thanks a lot, Regards, Guilhem Lavaux.