===> Cleaning for tex-arabtex-3.17.63519