dune build @install
