diff --git a/flake.nix b/flake.nix
index e4c5181069cc10def53eb9a041c804ae1db7b0f9..ad4af2a01a15db5dedd78fb060c798b3a8ac9a75 100644
--- a/flake.nix
+++ b/flake.nix
@@ -120,6 +120,8 @@
               };
 
             propagatedBuildInputs = with coq.pkgs; [coq-record-update equations lambda-rust];
+
+            preBuild = "dune() { command dune $@ --display=short; }";
             useDune = true;
           };