Re: [boost] Re: Re: Is there any way to get typeid() to return the derived class name?