It must be explicated as a dependency otherwise Dune will *delete*
it on the first occasion. My hack with using an alias thus failed
spectacularly.