diff --git a/GNUmakefile b/GNUmakefile
index 23ea6950..5b2acb64 100644
--- a/GNUmakefile
+++ b/GNUmakefile
@@ -18,6 +18,7 @@ installs:
 	opam install --yes $(vendor_list)
 
 pins:
+	opam pin --no-action --yes "git+https://github.com/robur-coop/mcrunch.git#682ed63c03e3be5664f96c469a260e1d9e9df011"
 	opam pin --no-action --yes "git+https://github.com/mirage/Zarith.git#zarith-1.14"
 	opam pin --no-action --yes "git+https://github.com/swrup/mirage-mtime.git#6a6bb4dd25624a3c43e6417dcdf73f3c689946a7"
 	opam pin --no-action --yes "git+https://github.com/robur-coop/vif.git#8c6ac3fb97cb9a31bf6ad8ec63c942336dcfd03e"