Manpages of gdc-mips64-linux-gnuabi64 in Debian stretch