Configure options with a single dash

So Coq 8.5dev can compile.