===> Cleaning for coq-8.4pl1nb3