only use history_file if it exists