Hmmm, the previous commit to fix the iOS build doesn't seem to have gone through. Fixing it now.