message: fix: bug in findToolchainBin so it can handle a full path.
diff: @@ -57,6 +57,10 @@ export function addDefaultElanPath() : void {
  }
  function findToolchainBin(root:string) : string{
  + console.log(`Looking for toolchains in ${root}`)
  + if (!fs.existsSync(root)) {
  + return '';
  + }
  const toolchains = fs.readdirSync(path.join(root, '..', 'toolchains'));
  for(const toolchain of toolchains) {
  if (toolchain.indexOf('leanprover--lean4') >= 0){
  