(In reply to ming li from comment #8) Reproducing requires a user which /bin/tcsh as login shell. That's it.