We don't care as we're not using the Makefile directly but: dune: --dev is no longer accepted as it is now the default.