fix bash_history truncation