Fix dealing with warnings from coqtop