Add some more =coqc