Fix jmp_buf handling. Now exception handling is available.