Re: [boost] Re: [jamboost] Re: Removing dots from toolset names