Fix cpp names demangling