increased HISTFILESIZE to 10000