With Coq 8.9.1, after upgrading to dune 2.8.1, compiling coq files does not seem to work anymore (due to unsupported command-line arguments it seems).

Expected Behavior

It works.

Actual Behavior

It does not work.

       coqc .t.aux,t.{glob,vo} (exit 1)
(cd _build/default && /home/armael/.opam/latest/bin/coqc -q -w -native-compiler-disabled -native-compiler ondemand -R . foo t.v)
coqc: ondemand: no such file or directory

Reproduction

dune file:

(coq.theory (name foo))

with an empty file t.v on the side.

Specifications

• Version of dune: 2.8.1
• Version of ocaml (output of ocamlc --version): 4.08.1
• Version of coq: 8.9.1