Added back the old way to loading history file as a temporary workaround.