diff --git a/Makefile b/Makefile
index 313737d9d8e4c123934e7993eb1803974e847698..950c22dd263a0d4c3114e0c652e58cb506eb91ad 100644
--- a/Makefile
+++ b/Makefile
@@ -11,7 +11,7 @@ all: ${LP_OBJ}
 
 .PHONY: install
 install: ${LP_OBJ} lambdapi.pkg
-	${LP} install lambdapi.pkg ${LP_OBJ} ${LP_SRC}
+	${LP} install lambdapi.pkg ${LP_SRC}
 
 .PHONY: uninstall
 uninstall: