fix another x86_64 ABI bug