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