cherry-pick inclusion of header-installation tools
Source for buildrump.sh git rev a8c7226d70d49938a96c43d23e3bc4ffbfe1d182
Source for buildrump.sh git rev adf5b600443cf0149fd266566d87f2ee9a0386e1