Re: [boost] [configuring digital mars for boost]