more work on extracting ios libs