===> Cleaning for tex-prosper-1.5