fix tcsh history

apparently Linux Mint defaults for tcsh aren't as sane as what I'm used to
this makes history work as expected