Manpages of dsh in Debian wheezy