FileNotFoundError: [WinError 2]

[josedusol]

Hello. Im getting the following error when trying to run any cell with TLA+ Kernel (python 3 kernel works fine):

Traceback (most recent call last):
  File "C:\Users\foo\AppData\Local\Programs\Python\Python38-32\lib\site-packages\tlaplus_jupyter\kernel.py", line 104, in do_execute
    return self.eval_expr(payload)
  File "C:\Users\foo\AppData\Local\Programs\Python\Python38-32\lib\site-packages\tlaplus_jupyter\kernel.py", line 257, in eval_expr
    out, rc = self.run_proc(cmd, workspace)
  File "C:\Users\foo\AppData\Local\Programs\Python\Python38-32\lib\site-packages\tlaplus_jupyter\kernel.py", line 53, in run_proc
    proc = subprocess.Popen(cmd, stdout=subprocess.PIPE, stderr=subprocess.STDOUT, cwd=workspace)
  File "C:\Users\foo\AppData\Local\Programs\Python\Python38-32\lib\subprocess.py", line 854, in __init__
    self._execute_child(args, executable, preexec_fn, close_fds,
  File "C:\Users\foo\AppData\Local\Programs\Python\Python38-32\lib\subprocess.py", line 1307, in _execute_child
    hp, ht, pid, tid = _winapi.CreateProcess(executable, args,
FileNotFoundError: [WinError 2] The system cannot find the file specified

System details:

• Windows 10 19041.329
• Python 3.8.3
• pip 20.1.1

The "kernel.json" file:
{"argv": ["C:\\Users\\foo\\AppData\\Local\\Programs\\Python\\Python38-32\\python.exe", "-m", "tlaplus_jupyter", "-f", "{connection_file}"], "codemirror_mode": "tlaplus", "display_name": "TLA\u207a", "language": "tla"}