diff --git a/dune b/dune
index 8a20f109b8dfb2519252444963f97cc385f095f8..0f46950b014e5b34ab7e22cf65d6c459a42162c5 100644
--- a/dune
+++ b/dune
@@ -20,4 +20,5 @@
 ;;                                                                        ;;
 ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
 
+(alias (name default) (deps (alias install)))
 (dirs src tools tests headers share bin)