[gambit-list] Configure options