fix iOS ARM64 build

With these changes (and with Xcode configuration changes to force an arm64 build), hello-ios builds and runs  successfully in 64-bit mode.  Yay.

The makefile change is to avoid triggering an error during a recursive make such that platform=macosx and arch=arm64.