you missed the rest of the thread. /bin/csh is not /bin/tcsh. i have run into a fairly important compatibility problem brought on by this. later. .