Fix reading of options for iOS