Use mem:allocator, not std::allocator.