[gambit-list] --enable-coverage and gsc/_t-univ.c