fix a hex digit in win64 setjmp that i missed in previous commit