===> Cleaning for tex-hypdestopt-2.7