gcc-offload-nvptx binary: no-manual-page
