diff --git a/CMakeLists.txt b/CMakeLists.txt
index 92b6b03e2..bed5cc152 100644
--- a/CMakeLists.txt
+++ b/CMakeLists.txt
@@ -224,7 +224,7 @@ if (LOG4CPLUS_INCLUDE_DIR)
 endif(LOG4CPLUS_INCLUDE_DIR)
 
 if (CUDD_LIBRARY_DIRS)
-    target_link_libraries(storm "-lcudd -lmtr -lst -lutil -lepd -lobj")
+    target_link_libraries(storm "-lobj -lcudd -lmtr -lst -lutil -lepd")
 endif(CUDD_LIBRARY_DIRS)
 
 if (THREADS_FOUND)
diff --git a/resources/3rdparty/cudd-2.5.0/obj/Makefile b/resources/3rdparty/cudd-2.5.0/obj/Makefile
index 54d0c92ce..ffc656452 100644
--- a/resources/3rdparty/cudd-2.5.0/obj/Makefile
+++ b/resources/3rdparty/cudd-2.5.0/obj/Makefile
@@ -62,7 +62,7 @@ UBJ	= $(SRC:.cc=.u)
 #------------------------------------------------------
 
 lib$(P).a: $(POBJ)
-	ar rv $@ $? ../cudd/*.o ../dddmp/*.o ../epd/*.o ../mtr/*.o ../st/*.o ../util/*.o
+	ar rv $@ $?
 	$(RANLIB) $@
 
 .cc.o: $(PHDR)