make sure std++ does not rely on generated names

Merged Ralf Jung requested to merge ci/ralf/mangle into master

Merge request reports