Manpages of skktools in Debian stretch