This reverts commit c5ff6a3e. It did not work (needs to be set as a coq_makefile option) so I moved the flag to the _CoqProject file instead.