Possible fix for iOS compilation stage (#10895)