[gambit-list] Please Ignore (was: Segmentation fault while building v4.1.2)