PPC64: Fix mangled name of callWithStackShell