Fix Win64 ABI wrt. passing structs > 64 bit