[[ Unicodify ]] Fixed glitches in compiling w32dsk.cpp.