Since c691a79 the opam pin add dune --dev fails since the build doesn't promote _boot/dune.install to the main source tree.