===> Cleaning for tex-ebproof-2.1.1