[gambit-list] I think I found a bug on Gambit-C's build process during building for iOS.