gcc-mips-linux-gnu binary: binary-without-manpage
