And I screwed up the heading! LLVM 7 is what they seem to be shipping right now. Is it okay if I use latest (12) directly from https://apt.llvm.org/? Sincerely, J.P.