diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
index 469e098..83699ca 100644
--- a/.github/workflows/ci.yml
+++ b/.github/workflows/ci.yml
@@ -48,6 +48,7 @@ jobs:
           - 2.13.14
           - 2.13.15
           - 2.13.16
+          - 2.13.17
     runs-on: ${{ matrix.os }}
     steps:
       - uses: actions/checkout@v4
diff --git a/build.sbt b/build.sbt
index 3b881fe..807125b 100644
--- a/build.sbt
+++ b/build.sbt
@@ -25,7 +25,7 @@ lazy val root = project
   )
 
 val bin212 = Seq("2.12.20", "2.12.19", "2.12.18")
-val bin213 = Seq("2.13.16", "2.13.15", "2.13.14")
+val bin213 = Seq("2.13.17", "2.13.16", "2.13.15", "2.13.14")
 
 // Copied from
 // https://github.com/scalameta/scalameta/blob/370e304b0d10db1dd65fc79a5abc1f39004aeffd/build.sbt#L724-L737
diff --git a/plugin/src/main/scala-2.13.17/ch/epfl/scala/profilers/tools/SettingsOps.scala b/plugin/src/main/scala-2.13.17/ch/epfl/scala/profilers/tools/SettingsOps.scala
new file mode 100644
index 0000000..aadf96d
--- /dev/null
+++ b/plugin/src/main/scala-2.13.17/ch/epfl/scala/profilers/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
+}