diff --git a/src/workprover/fastsolver/makefile b/src/workprover/fastsolver/makefile
index e4b08034..7c9c040b 100644
--- a/src/workprover/fastsolver/makefile
+++ b/src/workprover/fastsolver/makefile
@@ -1,5 +1,5 @@
 CFLAGS += -std=gnu99 -Wall -Wextra -pedantic -O3 -fPIC
-LDFLAGS += -shared -lpthread -lcrypto -Wl,-version-script=main.map
+LDFLAGS += -shared -lpthread -lcrypto -Wl,-version-script=main.map -v
 
 libfastsolver.so: main.map common.o pthread.o
 	$(CC) $(LDFLAGS) -o $@ common.o pthread.o