diff --git a/Makefile b/Makefile
index 950c22dd263a0d4c3114e0c652e58cb506eb91ad..5c656bc4c64812ade0a82acc8ef34441e42847da 100644
--- a/Makefile
+++ b/Makefile
@@ -1,5 +1,5 @@
 LP = lambdapi
-LP_SRC  != find encodings prelude -type f -name "*.lp"
+LP_SRC  != find encodings -type f -name "*.lp"
 LP_OBJ = ${LP_SRC:S/.lp$/.lpo/}
 
 .SUFFIXES: .lpo .lp