add demangle tool