diff --git a/build_tbb.sh b/build_tbb.sh
index 544e1c7..03244e3 100755
--- a/build_tbb.sh
+++ b/build_tbb.sh
@@ -2,11 +2,13 @@
 
 set -e
 
+ROOTPATH=$(pwd)
+
 cd depends/tbb/oneTBB
 # Create binary directory for out-of-source build
 mkdir -p build && cd build
 # Configure: customize CMAKE_INSTALL_PREFIX and disable TBB_TEST to avoid tests build
-cmake -DCMAKE_INSTALL_PREFIX=$(pwd)/installed -DTBB_TEST=OFF ..
+cmake -DCMAKE_INSTALL_PREFIX=$ROOTPATH/package -DTBB_TEST=OFF ..
 # Build
 cmake --build .
 # Install
diff --git a/make_x86.sh b/make_x86.sh
new file mode 100755
index 0000000..782734c
--- /dev/null
+++ b/make_x86.sh
@@ -0,0 +1,3 @@
+#!/bin/bash
+
+LD_LIBRARY_PATH=./package/lib g++ -I./package/include -std=c++17 src/main.cpp ./package/lib/librapidsnark-fr-fq.a -lgmp -L./package/lib -ltbb -pthread -g
diff --git a/src/main.cpp b/src/main.cpp
index 4207dea..8da751d 100644
--- a/src/main.cpp
+++ b/src/main.cpp
@@ -6,11 +6,6 @@ int main(int argc, char* argv[])
     std::cout << "Aleks";
     std::cout << "\n";
 
-    std::cout << sizeof(FqElement) << "\n";
-    std::cout << alignof(FqElement) << "\n";
-
-    std::cout << sizeof(FqRawElement) << "\n";
-    std::cout << alignof(FqRawElement) << "\n";
 
     auto zkey_file = argc > 1 ? argv[1] : "./testdata/circuit_final.zkey";
 
@@ -19,16 +14,20 @@ int main(int argc, char* argv[])
     // FullProver prover("../main_00004.zkey");
     // FullProver prover("./testdata/circuit_final.zkey");
     FullProver prover(zkey_file);
-    auto       ret = prover.prove("./witness.wtns");
 
-    if (ret.type == SUCCESS)
-    {
-        std::cout << "OK\n";
-    }
-    else
+    while (1)
     {
-        std::cout << "ERROR\n";
+        auto       ret = prover.prove("./witness.wtns");
+
+        if (ret.type == SUCCESS)
+        {
+            std::cout << "OK\n";
+        }
+        else
+        {
+            std::cout << "ERROR\n";
+        }
+        std::cout << ret.raw_json << "\n";
     }
 
-    std::cout << ret.raw_json << "\n";
 }