doc: "win32" is a suffix for 32-bit version