Win32.md: updated instructions for 32- vs 64-bit