--- src/AlgebraicCore/Makefile.orig	2019-10-15 06:57:55.000000000 -0600
+++ src/AlgebraicCore/Makefile	2019-11-21 16:17:42.331555066 -0700
@@ -95,6 +95,11 @@ $(COCOA_LIB): $(OBJS) $(SUBDIRS)
 	done
 	echo "doing ar for AlgebraicCore"
 	ar -rcuS $(COCOA_LIB) $(OBJS)
+	$(COMPILE) -shared -Wl,-h,libcocoa.so.0 -o libcocoa.so.0.0.0 \
+		-Wl,--whole-archive $(COCOA_LIB) -Wl,--no-whole-archive \
+		-Wl,--as-needed -lcddgmp -lgfan -lfrobby -lgsl -lopenblas -lgmp
+	ln -s libcocoa.so.0.0.0 libcocoa.so.0
+	ln -s libcocoa.so.0 libcocoa.so
 
 $(OBJS):  $(COCOA_ROOT)/configuration/autoconf.mk