CLI: --deps is not working

[W95Psp]

error: failed to run `rustc` to learn about target-specific information

Caused by:
  process didn't exit successfully: `driver-hax-frontend-exporter /home/lucas/.rustup/toolchains/nightly-2023-06-02-x86_64-unknown-linux-gnu/bin/rustc - --crate-name ___ --print=file-names --cfg hax --crate-type bin --crate-type rlib --crate-type dylib --crate-type cdylib --crate-type staticlib --crate-type proc-macro --print=sysroot --print=split-debuginfo --print=crate-name --print=cfg` (exit status: 101)
  --- stderr
  thread 'main' panicked at 'called `Result::unwrap()` on an `Err` value: Error("expected value", line: 1, column: 1)', cli/driver/src/features.rs:134:70
  note: run with `RUST_BACKTRACE=1` environment variable to display a backtrace