with libc++ 3.8.0. This is because the std::map's allocator was not defined correctly. Fix the `fast_pool_allocator' definition to use a `const double'. PR: 209332 Submitted by: dim