diff --git a/Makefile b/Makefile
index 26f707021a0bf2f21c3b51cc333bece56d18f059..c09b64ca57544979288526d4223827e633379a6a 100644
--- a/Makefile
+++ b/Makefile
@@ -31,6 +31,10 @@ build-dep:
 	opam pin add coq-lambda-rust "$$(pwd)#HEAD" -k git -y -n
 	opam install coq-lambda-rust --deps-only -y
 
+# some fiels that do *not* need to be forwarded to Makefile.coq
+Makefile: ;
+_CoqProject: ;
+
 # Phony targets (i.e. targets that should be run no matter the timestamps of the involved files)
 phony: ;
 .PHONY: all clean phony