[gambit-list] Gambit-C and multi-core devices