Cut command fails when using fault through nix

[ajccr]

Followed instructions to install nix, successfully ran 'fault synthesis' command, but ran into the following issue running the 'fault cut' command in the example. Using Ubuntu 22.04.

fault cut Netlists/s27.nl.v --clock CK --reset reset --bypassing VDD=1 --bypassing GND=0
PythonKit/Python.swift:707: Fatal error: 'try!' expression unexpectedly raised an error: Python exception: No module named 'math'
Traceback:
File "/nix/store/kkb26dc88nbbkd49iig0kzslq646321g-python3-3.11.9-env/lib/python3.11/site-packages/pyverilog/vparser/parser.py", line 24, in
from pyverilog.vparser.preprocessor import VerilogPreprocessor
File "/nix/store/kkb26dc88nbbkd49iig0kzslq646321g-python3-3.11.9-env/lib/python3.11/site-packages/pyverilog/vparser/preprocessor.py", line 27, in
import tempfile
File "/nix/store/7hnr99nxrd2aw6lghybqdmkckq60j6l9-python3-3.11.9/lib/python3.11/tempfile.py", line 46, in
from random import Random as _Random
File "/nix/store/7hnr99nxrd2aw6lghybqdmkckq60j6l9-python3-3.11.9/lib/python3.11/random.py", line 49, in
from math import log as _log, exp as _exp, pi as _pi, e as _e, ceil as _ceil

Current stack trace:
0 libswiftCore.so 0x00007bcbcc07e630 swift_stdlib_reportFatalErrorInFile + 123
1 libswiftCore.so 0x00007bcbcbd75aaf + 1530543
2 libswiftCore.so 0x00007bcbcbd758c7 + 1530055
3 libswiftCore.so 0x00007bcbcbd746d0 assertionFailure(::file:line🎏) + 364
4 libswiftCore.so 0x00007bcbcbdbceeb + 1822443
5 0x00005896f474f2a1 + 1331873
6 0x00005896f47fdfff + 2047999
7 0x00005896f4803066 + 2068582
8 0x00005896f47bbb0f + 1776399
9 libc.so.6 0x00007bcbcba3d10e + 172302
10 libc.so.6 0x00007bcbcba3d140 __libc_start_main + 137
11 0x00005896f46554c5 + 308421
Illegal instruction (core dumped)