[boost] Re: lightweight mutex for MacOS