Temporary, I promise :)

build.sbt

@@ -275,7 +275,7 @@ val scriptSettings: Seq[Setting[_]] = Seq(
 def ghProject(repo: String, version: String) = RootProject(uri(s"${repo}#${version}"))
 
 // lazy val inox = RootProject(file("../inox"))
-lazy val inox = ghProject("https://github.com/epfl-lara/inox.git", "4b0daed170bddf7b71cd56cfceef6e5d2a35be26")
+lazy val inox = ghProject("https://github.com/mario-bucev/inox.git", "2f400b947738afe5436cfb99d4b21f2aa6cef91d")
 lazy val cafebabe = ghProject("https://github.com/epfl-lara/cafebabe.git", "616e639b34379e12b8ac202849de3ebbbd0848bc")
 
 // Allow integration test to use facilities from regular tests

core/src/main/scala/stainless/genc/CFileOutputPhase.scala

@@ -13,8 +13,6 @@ class CFileOutputPhase(using override val context: inox.Context) extends UnitPha
   val description = "Output converted C program to the specified file (default leon.c)"
 
   def apply(program: CAST.Prog): Unit = {
-    val timer = context.timers.genc.print.start()
-
     // Get the output file name from command line options, or use default
     val cFileName = context.options.findOptionOrDefault(optOutputFile)
     val cOutputFile = new File(cFileName)
@@ -53,8 +51,6 @@ class CFileOutputPhase(using override val context: inox.Context) extends UnitPha
     } catch {
       case _ : java.io.IOException => context.reporter.fatalError("Could not write C ouptut on " + cOutputFile)
     }
-
-    timer.stop()
   }
 
 }