bigger HISTSIZE and HISTFILESIZE