diff --git a/.gitignore b/.gitignore
index 110e37e..7a3d1b8 100644
--- a/.gitignore
+++ b/.gitignore
@@ -4,3 +4,4 @@ tmp
 main
 main.nim
 *.json
+nimcache/
diff --git a/example/prove.sh b/example/prove.sh
index cb2a475..cee5aae 100755
--- a/example/prove.sh
+++ b/example/prove.sh
@@ -44,7 +44,9 @@ echo '{ "inp": [7,11,13] , "plus": 1022 }' >build/${NAME}_input.json
 # cd $ORIG/build/${NAME}_js
 # node generate_witness.js ${NAME}.wasm ../${NAME}_input.json ../${NAME}.wtns
 # cd $ORIG/build
-cd $ORIG/circom_build/
+cp -v $ORIG/circom_build/* $ORIG/build/${NAME}_cpp/
+cd $ORIG/build/${NAME}_cpp
+echo "{.compile: \"${NAME}\"}" > ${NAME}.nim
 nim cpp ${NAME}.nim
 ./${NAME} ../${NAME}_input.json ../${NAME}.wtns
 cd $ORIG/build