Manpages of putty in Debian wheezy