Manpages of normaliz-bin in Debian testing