fixing --run in iOS console with new debugging API formats