[gambit-list] Question about performance of shared libraries on MacOS X