Re: [gambit-list] Problem with ignored gambini file