[gambit-list] Many, many differences in make check