> I'll retry and report back if I see the problem on the offending platform. > > Just to close out this thread, I can't reproduce this on the Mac OS either. While I'd done a "make clean" earlier, "make distclean" did the trick. Sorry for the noise.
Thanks, Pavan -- Pavan Deolasee http://www.linkedin.com/in/pavandeolasee
