Make the iOS port build with the new header structure.
Copy the iOS headers using the proper Xcode methods.