add debian/etc/csh.cshrc debian/etc/user.cshrc