If I write a standard dune file to compile some coq developments, Coq is invoked without the -q argument, causing it to load a coqrc file. This reduces the reproducibility of the build since I don't know what users might have stored there. Note that coq_makefile also includes -q by default. Currently, I can use (flags -q) to get this behavior, but I think it would be good for -q to be an overridable default. Basically every Coq package would benefit from setting this option.