[boost] lightweight mutex for MacOS