[gambit-list] Re: loading modules multiple times