[boost] Re: bug in recursive_mutex