[boost] Re: Removing dots from toolset namesHo