dev-ml/dune: arm stable wrt bug #710374