Remove a bad =coqc