Unreviewed, fix the Windows build after r143398.