Using Xcode 15 for ninja builds, and Xcode 14 for Xcode build (to workaround Xcode15 CMake issue with Xcode generator)