added dump name mangling & test
Merge pull request #2222 from twobraids/dump-name

Fixes Bug 1040365 - added dump name mangling & test