Use the correct format specifier for the return value of strlen().
[cparser] / mangle.h
2008-11-14 Matthias BraunMore work for C++ mode: