===> Cleaning for coq-8.20.1nb1