diff -up cddlib-0.94j/src/Makefile.am.orig cddlib-0.94j/src/Makefile.am
--- cddlib-0.94j/src/Makefile.am.orig	2018-05-23 02:18:27.000000000 -0600
+++ cddlib-0.94j/src/Makefile.am	2018-09-30 20:47:15.877935594 -0600
@@ -12,6 +12,7 @@ testcdd2 \
 testlp1 \
 testlp2 \
 testlp3 \
+cdd_both_reps \
 cddexec
 
 # Build these binaries but do not install them; these are sample applications
diff -up cddlib-0.94j/src/Makefile.gmp.am.orig cddlib-0.94j/src/Makefile.gmp.am
--- cddlib-0.94j/src/Makefile.gmp.am.orig	2018-05-23 02:18:27.000000000 -0600
+++ cddlib-0.94j/src/Makefile.gmp.am	2018-09-30 20:46:40.062003312 -0600
@@ -72,6 +72,11 @@ testlp3_gmp_SOURCES = testlp3.c
 testlp3_gmp_LDADD = $(gmp_ldflags)
 testlp3_gmp_CPPFLAGS = $(gmp_cppflags)
 
+bin_PROGRAMS += cdd_both_reps_gmp
+cdd_both_reps_gmp_SOURCES = cdd_both_reps.c
+cdd_both_reps_gmp_LDADD = $(gmp_ldflags)
+cdd_both_reps_gmp_CPPFLAGS = $(gmp_cppflags)
+
 bin_PROGRAMS += cddexec_gmp
 cddexec_gmp_SOURCES = cddexec.c
 cddexec_gmp_LDADD = $(gmp_ldflags)