===> Cleaning for tex-savesym-1.2