Re: 8.5 build failure

Thanks everyone. I didn't expect just continuing "make" would work, but it does, so that's a workaround for now. I'll look forward to the real fix, of course. John