Bugfix: 32-bit vs 64-bit bug in x86_64-gen.c:gcall_or_jmp