[boost] Re: Should std::allocator::rebind be used with std::map?