Manpages of gnulib in Debian stretch