reduce HISTSIZE

Ubuntu 14.04 fails to save history sometimes...