This disables Ogg for iOS.  Unfortunately it means that for now ogg
files won’t work on iOS devices.  However, iOS will compile again.