===> Cleaning for coq-8.3pl1nb1