[gambit-list] Cross-compilation Q