diff --git a/src/test/scala/viper/gobra/BenchmarkTests.scala b/src/test/scala/viper/gobra/BenchmarkTests.scala
index c10ecec0a..b54ea5301 100644
--- a/src/test/scala/viper/gobra/BenchmarkTests.scala
+++ b/src/test/scala/viper/gobra/BenchmarkTests.scala
@@ -68,7 +68,7 @@ trait BenchmarkTests extends StatisticalTestSuite {
     override def init(verifier: Verifier): Unit = () // ignore verifier argument as we reuse the Gobra / Parser / TypeChecker / etc. instances for all tests
 
     override def reset(files: Seq[Path]): Unit =
-      createConfig(Array("-i", files.toVector.mkString(" ")))
+      config = Some(createConfig(Array("-i", files.toVector.mkString(" "))))
 
 
     private def createConfig(args: Array[String]): Config = {
diff --git a/viperserver b/viperserver
index e36d0d393..3e2f02096 160000
--- a/viperserver
+++ b/viperserver
@@ -1 +1 @@
-Subproject commit e36d0d39315f75dfdd53ab879f3e4fe755e6cd58
+Subproject commit 3e2f020964fa8d837c444ee54f933e2b577ea551