Fix win64 abi