diff --git a/build.sbt b/build.sbt
index 091a240..27b53c3 100644
--- a/build.sbt
+++ b/build.sbt
@@ -24,7 +24,7 @@ lazy val root = project
         (integrations / watchSources).value
   )
 
-val bin212 = Seq("2.12.18", "2.12.17", "2.12.16", "2.12.15", "2.12.14", "2.12.13")
+val bin212 = Seq("2.12.19", "2.12.18", "2.12.17", "2.12.16", "2.12.15", "2.12.14", "2.12.13")
 val bin213 = Seq("2.13.12", "2.13.11", "2.13.10", "2.13.9", "2.13.8", "2.13.7", "2.13.6", "2.13.5")
 
 // Copied from
diff --git a/plugin/src/main/scala-2.12.19/tools/SettingsOps.scala b/plugin/src/main/scala-2.12.19/tools/SettingsOps.scala
new file mode 100644
index 0000000..aadf96d
--- /dev/null
+++ b/plugin/src/main/scala-2.12.19/tools/SettingsOps.scala
@@ -0,0 +1,8 @@
+package ch.epfl.scala.profilers.tools
+
+import scala.tools.nsc.Global
+
+object SettingsOps {
+  def areStatisticsEnabled(g: Global): Boolean =
+    g.settings.areStatisticsEnabled
+}