===> Cleaning for tcsh-6.19.00