Ever since #72000, it is not sufficient to install rustc-dev to obtain a toolchain where one can link against private rustc libraries (for tools like Miri or Clippy). One has to also install llvm-dev. This subverts the purpose of rustc-dev; from what I can see, that package on its own is basically useless now.