Manpages of gnuboy-x in Debian stretch