diff --git a/Makefile b/Makefile
index 4296017ce..dbc71816e 100644
--- a/Makefile
+++ b/Makefile
@@ -622,7 +622,7 @@ else
 VERIFIC_LIB_OS_SUFFIX = linux
 
 $(VERIFIC_DIR)/_override_syms.txt: $(VERIFIC_SILIMATE_OBJS)
-	$(Q) nm -g --defined-only $^ | awk '{print $$NF}' | sort -u > $@
+	$(Q) nm -g --defined-only $^ | awk '$$2 ~ /^[TDBR]$$/ {print $$NF}' | sort -u > $@
 
 $(VERIFIC_DIR)/database/database-linux.a: $(VERIFIC_DIR)/database/database-linux.raw.a $(VERIFIC_DIR)/_override_syms.txt
 	$(Q) cp $< $@
diff --git a/verific b/verific
index 41e750a4a..a38fbdb57 160000
--- a/verific
+++ b/verific
@@ -1 +1 @@
-Subproject commit 41e750a4a73c2f21083c921ded112221ea30a587
+Subproject commit a38fbdb575b50565f041f31909015c07e11020e5