Manpages of mawk in Debian stretch