PLAT-539: renamed override of demangle to char_demangle