better longjmp unwinding