--- src/AlgebraicCore/Makefile.orig	2020-10-27 03:42:18.000000000 -0600
+++ src/AlgebraicCore/Makefile	2020-11-06 08:13:40.727807973 -0700
@@ -97,6 +97,11 @@ $(COCOA_LIB): $(OBJS) $(SUBDIRS)
 	done
 	echo "doing ar for AlgebraicCore"
 	ar $(ARFLAGS) $(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 \
+		@RPM_LD_FLAGS@ -lcddgmp -lgfan -lfrobby -lgsl -lflexiblas -lgmp
+	ln -s libcocoa.so.0.0.0 libcocoa.so.0
+	ln -s libcocoa.so.0 libcocoa.so
 
 $(OBJS):  $(COCOA_ROOT)/configuration/autoconf.mk