(import ./default.nix {withHIE = false;}).shell