diff --git a/src/cegis/Makefile b/src/cegis/Makefile
index 95c5abbb2a9..27a6880a651 100644
--- a/src/cegis/Makefile
+++ b/src/cegis/Makefile
@@ -114,7 +114,8 @@ OBJ += ../ansi-c/ansi-c$(LIBEXT) \
       ../cbmc/bv_cbmc$(OBJEXT) ../cbmc/counterexample_beautification$(OBJEXT) \
       ../cbmc/show_vcc$(OBJEXT) \
       ../cbmc/cbmc_dimacs$(OBJEXT) ../cbmc/all_properties$(OBJEXT) \
-      ../cbmc/fault_localization$(OBJEXT)
+      ../cbmc/fault_localization$(OBJEXT) \
+      ../cbmc/symex_coverage$(OBJEXT)
 
 INCLUDES= -I ..