really fix the Windows build this time