upped bash history size to 2500