better C++ std mangling
Merge pull request #3908 from WalterBright/mangleVector

better C++ std mangling