[gambit-list] Small patch for compilation with the iOS SDK 4.0