fixed: save settings on SIGINT, end-of-input
incremented version