redesign sigsetjmp so that signal mask is restored after longjmp