gcc-aarch64-linux-gnu binary: no-manual-page
