Turn jmp_buf parameters into pointers