===> Cleaning for coq-8.7.2nb3