Fix setjmp header file