update debian/etc/csh.cshrc: default LC_CTYPE set to en_US.UTF-8