Index: fix setjmp and std::jmp_buf