[gambit-list] Re: changing the ld options on dynamically loaded files