Fix a crash in the ObjC name demangling