-coqide option removed