There is a key log file name option in preference->ssh protocol. How can I use it? What format should the key log file be?