mangle C++ ::std and ::std::allocator correctly