The problem is that install() does not preserve the directory structure so we need another install() invocation for the machine headers. The patch is updated and put on review as D4623. Thanks a lot, Tobias. http://reviews.llvm.org/D3908