diff --git a/benchmarks/embench/Makefile b/benchmarks/embench/Makefile
index d8fbddae9..b4e41ca0d 100644
--- a/benchmarks/embench/Makefile
+++ b/benchmarks/embench/Makefile
@@ -44,7 +44,7 @@ sim: modelsim_build_memfile modelsim_run speed
 # launches modelsim to simulate tests on wally
 modelsim_run:
 	mkdir -p ../../sim/wkdir
-	(cd ../../sim/ && vsim -c -do "do wally-batch.do rv32gc embench")
+	(cd ../../sim/ && wsim rv32gc embench)
 	cd ../../benchmarks/embench/
 
 # builds the objdump based on the compiled c elf files