Manpages of 0xffff in Debian stretch