diff --git a/.nix/coq-nix-toolbox.nix b/.nix/coq-nix-toolbox.nix
index 1d3ed7e4..a8c436c8 100644
--- a/.nix/coq-nix-toolbox.nix
+++ b/.nix/coq-nix-toolbox.nix
@@ -1 +1 @@
-"025f74d19e65863eb017a204627c4b872a5e6ce6"
+"4d8cc4ac0ce259be956939f80b3d57c94971a83f"
diff --git a/default.nix b/default.nix
index 4f0a8ec2..1a24d7a1 100644
--- a/default.nix
+++ b/default.nix
@@ -5,7 +5,7 @@
 }@args:
 let auto = fetchGit {
   url = "https://github.com/coq-community/coq-nix-toolbox.git";
-  ref = "cachix-for-forks";
+  ref = "master";
   rev = import .nix/coq-nix-toolbox.nix;
 };
 in