--- David Abrahams <dave at boost-consulting.com> wrote: > Yes, please. I sent a different simple suggestion in response to your > "Mac OS 10 success" message which I'd like you to quickly try first. > If it doesn't work out, please go ahead with the above patch.