gcc-x86-64-gnu binary: no-manual-page
