bigger HISTSIZE for more searchiness