Update demangle.cc