diff --git a/Makefile b/Makefile
index b2b019e..a005920 100644
--- a/Makefile
+++ b/Makefile
@@ -70,7 +70,7 @@ testbench_synth.vvp: testbench.v synth.v
 	iverilog -o $@ -DSYNTH_TEST $^
 	chmod -x $@
 
-testbench_verilator: testbench.v picorv32.v
+testbench_verilator: testbench.v picorv32.v testbench.cc
 	verilator --cc --exe -Wno-lint -trace --top-module picorv32_wrapper testbench.v picorv32.v testbench.cc \
 			$(subst C,-DCOMPRESSED_ISA,$(COMPRESSED_ISA)) --Mdir testbench_verilator_dir
 	$(MAKE) -C testbench_verilator_dir -f Vpicorv32_wrapper.mk
diff --git a/testbench.cc b/testbench.cc
index 81c6273..cd835df 100644
--- a/testbench.cc
+++ b/testbench.cc
@@ -3,6 +3,9 @@
 
 int main(int argc, char **argv, char **env)
 {
+	printf("Built with %s %s.\n", Verilated::productName(), Verilated::productVersion());
+	printf("Recommended: Verilator 4.0 or later.\n");
+
 	Verilated::commandArgs(argc, argv);
 	Verilated::traceEverOn(true);
 	Vpicorv32_wrapper* top = new Vpicorv32_wrapper;