WIN32 compilation patch