Merge "Don\'t demangle symbol names." into lmp-dev am: 6914799 am: 53cacfa  -s ours am: af857f6 am: 44e6cff
am: 7e7a1fb

* commit '7e7a1fb6e84b381914b0e315183d2b283c475ea6':
  Don't demangle symbol names.