diff --git a/fuzzers/FRET/benchmark/Snakefile b/fuzzers/FRET/benchmark/Snakefile
index 6a82e76b86..9f9d2ee628 100644
--- a/fuzzers/FRET/benchmark/Snakefile
+++ b/fuzzers/FRET/benchmark/Snakefile
@@ -100,13 +100,14 @@ rule run_bench:
                 export SEED_RANDOM={wildcards.num}
                 export TIME_DUMP=$(pwd)/{output[0]}
                 export CASE_DUMP=$(pwd)/{output[2]}
+                export TRACE_DUMP=$(pwd)/{output[0]}.trace
                 export FUZZ_ITERS=10800
                 export FUZZER=$(pwd)/{input[1]}/debug/fret
                 set +e
                 ../fuzzer.sh > {output[1]} 2>&1 
                 exit 0
                 """
-            if wildcards.fuzzer == 'random':
+            if wildcards.fuzzer.find('random') >= 0:
                 script="export FUZZ_RANDOM=1\n"+script
             shell(script)
 
@@ -144,7 +145,7 @@ rule run_showmap:
                 ../fuzzer.sh
                 exit 0
                 """
-            if wildcards.fuzzer == 'random':
+            if wildcards.fuzzer.find('random') >= 0:
                 script="export FUZZ_RANDOM=1\n"+script
             shell(script)