setjmp fixes