===> Cleaning for coq-8.6