Shorter HISTFILE and SAVEHIST lengths to deal with poor i/o performance on our VMs