diff --git a/tests/benchmark/compile.sh b/tests/benchmark/compile.sh
index 6667454df..3d2300952 100755
--- a/tests/benchmark/compile.sh
+++ b/tests/benchmark/compile.sh
@@ -34,7 +34,6 @@ do
             cd juvix
             for f in *.juvix; do
                 execute "juvix compile -o `basename $f .juvix`.exe $f"
-                execute "juvix compile --target=wasm -o `basename $f .juvix`.wasm $f"
             done
             cd ..
         fi
diff --git a/tests/benchmark/maybe/runtime/maybe.c b/tests/benchmark/maybe/runtime/maybe.c
index 461e23fb6..c82215578 100644
--- a/tests/benchmark/maybe/runtime/maybe.c
+++ b/tests/benchmark/maybe/runtime/maybe.c
@@ -9,7 +9,11 @@
 #define CONSTRS_NUM (BUILTIN_UIDS_NUM + 4)
 
 static constr_info_t juvix_constr_info_array[CONSTRS_NUM] = {
-    BUILTIN_UIDS_INFO, {"leaf"}, {"node"}, {"nothing"}, {"just"}};
+    BUILTIN_UIDS_INFO,
+    {"leaf", 0, APP_FIXITY},
+    {"node", 0, APP_FIXITY},
+    {"nothing", 0, APP_FIXITY},
+    {"just", 0, APP_FIXITY}};
 
 #define UID_LEAF FIRST_USER_UID
 #define UID_NODE (FIRST_USER_UID + 1)