[gambit-list] .gambcini vs included files