Try to fix the Windows build after r174315.