Manpages of sb16ctrl-bochs in Debian stretch