Also fix up install for a potentially unbuilt nvptx-none-run.