added a demangle switch.