correcting Windows build error