Quick fix for iOS to compile

Same as #1377 but for develop branch