symbol: Remove getMangledName again (handled elsewhere)