diff --git a/CHANGES.md b/CHANGES.md
index b7501be78901..080c908cae83 100644
--- a/CHANGES.md
+++ b/CHANGES.md
@@ -74,6 +74,8 @@ Unreleased
 
 - Tweak auto-formatting of `dune` files to improve readability. (#3928, @nojb)
 
+- [coq] Add `-q` flag to default `coqc` flags , fixes #3924, (#3931 , @ejgallego)
+
 2.7.1 (2/09/2020)
 -----------------
 
diff --git a/src/dune_rules/coq_rules.ml b/src/dune_rules/coq_rules.ml
index b2186cc93d09..1e0099df6c1f 100644
--- a/src/dune_rules/coq_rules.ml
+++ b/src/dune_rules/coq_rules.ml
@@ -101,15 +101,14 @@ module Context = struct
     let dir = Path.build (snd t.coqc) in
     Command.run ~dir ?stdout_to (fst t.coqc) args
 
+  let standard_coq_flags = Build.return [ "-q" ]
+
   let coq_flags t =
-    Build.(
-      map ~f:List.concat
-        (all
-           [ Expander.expand_and_eval_set t.expander t.profile_flags
-               ~standard:(Build.return [])
-           ; Expander.expand_and_eval_set t.expander t.buildable.flags
-               ~standard:(Build.return [])
-           ]))
+    let standard = standard_coq_flags in
+    let standard =
+      Expander.expand_and_eval_set t.expander t.profile_flags ~standard
+    in
+    Expander.expand_and_eval_set t.expander t.buildable.flags ~standard
 
   let theories_flags =
     let setup_theory_flag lib =