PPC64: Fix mangled name of callWithStackShell.

The mangled names changed with adding the nothrow attribute.
Other platforms may be affected, too. But I can currently verify it only
on Linux/PPC64.