diff --git a/deps/kontrol_release b/deps/kontrol_release
index 528bd040..278cbc8d 100644
--- a/deps/kontrol_release
+++ b/deps/kontrol_release
@@ -1 +1 @@
-0.1.39
+0.1.43
diff --git a/test/run-kevm.sh b/test/run-kevm.sh
index 458e39a4..4fdd7f30 100755
--- a/test/run-kevm.sh
+++ b/test/run-kevm.sh
@@ -55,7 +55,7 @@ workers=12
 
 # Switch the options below to turn them on or off
 rekompile=--rekompile
-#rekompile=
+rekompile=
 
 # Progress is saved automatically so an unfinished proof can be resumed from where it left off
 # Turn on to restart proof from the beginning instead of resuming
@@ -87,8 +87,8 @@ use_booster=--use-booster
 # List of tests to symbolically execute
 
 tests=""
-tests+="--test FixedPointMathLibVerification.testMulWad(uint256,uint256) "
-tests+="--test FixedPointMathLibVerification.testMulWadUp "
+tests+="--match-test FixedPointMathLibVerification.testMulWad(uint256,uint256) "
+tests+="--match-test FixedPointMathLibVerification.testMulWadUp "
 
 # Name of the claim to execute
 claim=mulWadUp-first-roadblock