[Bug 1044674] Obscure csh bug (in "/etc/csh.cshrc")