issue #3069: Update device.mm for iOS.