x86_64: libgambit.so libgambitgsc.so libgambitgsi.so
