Possible iOS build fix, see #2418