diff --git a/Makefile b/Makefile
index e73570f57..4296017ce 100644
--- a/Makefile
+++ b/Makefile
@@ -629,7 +629,7 @@ $(VERIFIC_DIR)/database/database-linux.a: $(VERIFIC_DIR)/database/database-linux
 	$(Q) mkdir -p $@_patch_tmp
 	$(Q) cd $@_patch_tmp && ar x $(CURDIR)/$@ && \
 		for o in *.o; do \
-			objcopy --localize-symbols=$(CURDIR)/$(VERIFIC_DIR)/_override_syms.txt "$$o" 2>/dev/null || true; \
+			objcopy --weaken-symbols=$(CURDIR)/$(VERIFIC_DIR)/_override_syms.txt "$$o" 2>/dev/null || true; \
 		done
 	$(Q) ar rcs $@ $@_patch_tmp/*.o
 	$(Q) rm -rf $@_patch_tmp
@@ -639,7 +639,7 @@ $(VERIFIC_DIR)/verilog/verilog-linux.a: $(VERIFIC_DIR)/verilog/verilog-linux.raw
 	$(Q) mkdir -p $@_patch_tmp
 	$(Q) cd $@_patch_tmp && ar x $(CURDIR)/$@ && \
 		for o in *.o; do \
-			objcopy --localize-symbols=$(CURDIR)/$(VERIFIC_DIR)/_override_syms.txt "$$o" 2>/dev/null || true; \
+			objcopy --weaken-symbols=$(CURDIR)/$(VERIFIC_DIR)/_override_syms.txt "$$o" 2>/dev/null || true; \
 		done
 	$(Q) ar rcs $@ $@_patch_tmp/*.o
 	$(Q) rm -rf $@_patch_tmp
diff --git a/verific b/verific
index 052006b59..41e750a4a 160000
--- a/verific
+++ b/verific
@@ -1 +1 @@
-Subproject commit 052006b591230179789359d75d702453e1832db7
+Subproject commit 41e750a4a73c2f21083c921ded112221ea30a587