fix wsfull problem for 32-bit Windows version