Re: [gambit-list] --enable-profile