Fix HISTFILE