Re: [boost] [thread] age-old, fatal, trivial-to-fix bug