diff --git a/fc-solve/scripts/run-solve-and-validate-benchmark.sh b/fc-solve/scripts/run-solve-and-validate-benchmark.sh
index ee3723636..9dac56c2d 100644
--- a/fc-solve/scripts/run-solve-and-validate-benchmark.sh
+++ b/fc-solve/scripts/run-solve-and-validate-benchmark.sh
@@ -11,6 +11,12 @@
     -t fcs
     shlomif_ux
     set -e -x
+    cd "$trunk/fc-solve"
+    rm -fr "B"
+    mkdir "B"
+    cd "B"
+    ../scripts/Tatzer -l n2b
+    gmake -j 12 install
     cd "$trunk/cpan/Games-Solitaire-Verify/benchmark"
     git clean -dfqx . || true
     export LD_LIBRARY_PATH="$FCS_PATH"