diff --git a/Makefile b/Makefile
index a131936568a8fb000ad7a4b0f2fd45f48ff9ef80..2aa31aa00ed15829352d41b9919eceeee8a92937 100644
--- a/Makefile
+++ b/Makefile
@@ -1,7 +1,3 @@
-ifeq "$(COQBIN)" ""
-  COQBIN=$(dir $(shell which coqtop))/
-endif
-
 # Forward most targets to Coq makefile (with some trick to make this phony)
 %: Makefile.coq phony
 	+@make -f Makefile.coq $@