[build] Add -q to stdlib compilation rules
[build] Add -q to stdlib compilation rules

Fix #16257 , thanks Jason for the report.

Zimmi48/coq,SkySkimmer/coq,SkySkimmer/coq,Zimmi48/coq,Zimmi48/coq,coq/coq,SkySkimmer/coq,ejgallego/coq,coq/coq,coq/coq,ejgallego/coq,ejgallego/coq,SkySkimmer/coq,Zimmi48/coq,coq/coq,ejgallego/coq