use HISTFILE instead of HISTORY_FILE

Created by: mallochine

There's probably some context I'm missing here, but shouldn't the shell be using "HISTFILE" instead of "HISTORY_FILE"? HISTFILE is the standard bash variable:

https://www.gnu.org/software/bash/manual/html_node/Bash-Variables.html