fixup for 64-bit windows build