Fixing Windows build error