2011/10/20 Alessio Treglia <alessio at debian.org>: Hello Alessio, > We should consider to pass the contents of the symbols file to > c++filt. Would you do the work? Not sure if I understand how to do it. Any hint? ;) mira