===> Cleaning for tex-envlab-1.2