more mangling for std::allocator
Merge pull request #3895 from WalterBright/std-mangle2

more mangling for std::allocator