Buildfix for iOS.  Fixes #1220.