diff --git a/Makefile b/Makefile
index 4ab350fe1e22af810ac424b9f65dfbafde0c2b12..51cf12d0852549f11dde463406570900ee31d326 100644
--- a/Makefile
+++ b/Makefile
@@ -1,6 +1,3 @@
-
-# Makefile originally taken from coq-club
-
 %: Makefile.coq phony
 	+@make -f Makefile.coq $@
 
@@ -16,7 +13,7 @@ Makefile.coq: _CoqProject Makefile
 
 iris-local: clean
 	git submodule update --init iris
-	ln -s iris iris-enabled
+	ln -nsf iris iris-enabled
 	+make -C iris -f Makefile
 
 iris-system: clean