Minor update of src/utils/dune to be more precise