fix: allow [$ dune subst] to work without a repo (#11028)

fix: allow [$ dune subst] to work without a repo (#11028) #2588