diff --git a/Makefile.in b/Makefile.in
index 7fa6f5002..318f9939f 100755
--- a/Makefile.in
+++ b/Makefile.in
@@ -577,7 +577,7 @@ install_unix: startup.yss libYap.a
 	$(INSTALL) config.h $(DESTDIR)$(INCLUDEDIR)/config.h
 	$(INSTALL) parms.h $(DESTDIR)$(INCLUDEDIR)/parms.h
 	@ENABLE_CPLINT@ (cd packages/cplint; $(MAKE) install)
-	@ENABLE_CPLINT@ (cd packages/cplint/simplecuddLPADs; $(MAKE) install)
+	@ENABLE_CPLINT@ (cd packages/cplint/approx/simplecuddLPADs; $(MAKE) install)
 	@USE_CUDD@ (cd packages/ProbLog/simplecudd; $(MAKE) install)