Better defaults for PuTTY