Fix for Xcode export. Since I don’t do anything with exports, someone else will have to test the fix.