Fix version introduced for history_file