Increase HISTSIZE to 10000