diff --git a/Makefile b/Makefile
index d5811ff..c936396 100644
--- a/Makefile
+++ b/Makefile
@@ -1,13 +1,11 @@
 CC = g++
 CUDD_PATH = cudd
-CUDD_INCLUDE = $(CUDD_PATH)/obj/cuddObj.o $(CUDD_PATH)/cudd/libcudd.a $(CUDD_PATH)/mtr/libmtr.a \
-	$(CUDD_PATH)/st/libst.a $(CUDD_PATH)/util/libutil.a \
-	$(CUDD_PATH)/epd/libepd.a $(CUDD_PATH)/obj/libobj.a
+CUDD_INCLUDE=cudd/lib/libcudd.a
 INCLUDES=-Icudd/include
 CPPFLAGS = -Wall $(INCLUDES) #-Werror
 #CPPFLAGS = -Wall -DNDEBUG
 CXXFLAGS = -std=c++14 -O3 -DPUBLIC_RELEASE -DNDEBUG #-g
-LDLIBS = $(CUDD_INCLUDE) #-lcuddobj #/lib64/libcudd.so.2 #$(CUDD_INCLUDE)
+LDLIBS = $(CUDD_INCLUDE) 
 
 OBJ = rs.o symrs.o mc.o rsin_driver.o rsin_parser.o rsin_parser.lex.o formrsctl.o 
 
diff --git a/cudd.hh b/cudd.hh
index 876bc10..da36fdb 100644
--- a/cudd.hh
+++ b/cudd.hh
@@ -1 +1 @@
-#include <cudd/cuddObj.hh>
+#include <cuddObj.hh>