Manpages of mksh in Debian stretch