[gambit-list] Problems with Gambit OpenSSL support