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