Hi, I had an error building ganak, and saw the following message. Do you have any insights on what's the possible cause? Thanks in advance :)

[1/0/12 built, 161 copied (1009.6/1010.2 MiB), 216.2 MiB DL] building cad[1/0/12 built, 161 copied (1009.6/1010.2 MiB), 216.2 MiB DL] building caderror: builder for '/nix/store/dbl4m7534d9lpfv6vhdnnmqaspq4sa0n-ganak.drv' failed with exit code 2; last 10 log lines: > /tmp/nix-build-ganak.drv-0/jqc5b8wv1rph2c1cc603nqn7x4lp17px-source/src/main.cpp: In function 'int main(int, char**)': > /tmp/nix-build-ganak.drv-0/jqc5b8wv1rph2c1cc603nqn7x4lp17px-source/src/main.cpp:659:28: error: 'struct ArjunNS::SimplifiedCNF' has no member named 'strip_opt_sampling_vars'; did you mean 'set_opt_sampl_vars'? > 659 | if (strip_opt_indep) cnf.strip_opt_sampling_vars(); > | ^~~~~~~~~~~~~~~~~~~~~~~ > | set_opt_sampl_vars > [ 96%] Linking CXX executable example > [ 96%] Built target example > make[2]: *** [src/CMakeFiles/ganak-bin.dir/build.make:79: src/CMakeFiles/ganak-bin.dir/main.cpp.o] Error 1 > make[1]: *** [CMakeFiles/Makefile2:203: src/CMakeFiles/ganak-bin.dir/all] Error 2 > make: *** [Makefile:146: all] Error 2 For full logs, run 'nix log /nix/store/dbl4m7534d9lpfv6vhdnnmqaspq4sa0n-ganak.drv'.