StateHistoryBuilder: add .delo extension to history file