Workaround for 64-bit VC-10