Question: Avoid generation of files on extraction in interactive mode

[Kakadu]

I have a dune project that puts extracted files to _build/default during build. But when I walk through TestCo.v in interactive way the phrase Extraction "TestCo.ml" stream. creates files and dune complains about the file that already present in the source tree.

Error: Multiple rules generated for _build/default/TestCo.ml:
- file present in source tree
- <internal location>
Hint: rm -f TestCo.ml

I tried to set project root directory to _build/default/ but in that case interactive mode can't create any files because of permission denied. ProofGeneral users say that emacs plugin has a switch to "disable compilation in interactive mode" or something like that. How should I get the same result in VsCoq?