[gambit-list] libgambc.so.4.15?