Fix cram tests build-path-prefix-map substitutions#11366

art-w wants to merge 1 commit intoocaml:mainocaml/dune:mainfrom

art-w:build-path-prefix-mapart-w/dune:build-path-prefix-mapCopy head branch name to clipboard