Use sigsetjmp instead of setjmp