save_command_history writes to a file
fix bug #1431