Bugfix for debugger and jit