fix HISTFILE