next correction for 64-bit Windows build