H=@
-BINARIES=extractor table_creator utilities saturate
+#CSC: saturate is broken after the huge refactoring of auto/paramodulation
+#CSC: by Andrea
+#BINARIES=extractor table_creator utilities saturate
+BINARIES=extractor table_creator utilities transcript heights
all: $(BINARIES:%=rec@all@%)
opt: $(BINARIES:%=rec@opt@%)