Added platform-dependent code for demangling.