up HISTSIZE to 25000