Win64 ABI hotfix