Outdated commands in synth_74.ys

[misterjdrg]

I am using

Yosys 0.46+11 (git sha1 a00137c2f691c02011db4d75e55c4e366f2b1938, g++ 14.2.1 -O2 -fexceptions -fstack-protector-strong -m64 -march=x86-64 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -fPIC -O3)

from Fedora 40 repo

Running

cd stat/
make

Returns error:

yosys -q -s ../synth_74.ys -p "tee -o proj.stat stat" ../benchmarks/proj.v
ERROR: No such command: dffsr2dff (type 'help' for a command overview)
make: *** [Makefile:7: proj.stat] Error 1

Full list of miising commands:

dffsr2dff
dff2dffe
dff2dffe -unmap-mince 8