===> Cleaning for tex-xifthen-1.4.0