for putty extension plugin