gcc-mips64-linux-gnuabi64 binary: no-manual-page
