diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
index c6b65d1..9e084bc 100644
--- a/.github/workflows/ci.yml
+++ b/.github/workflows/ci.yml
@@ -12,6 +12,7 @@ jobs:
     runs-on: ubuntu-latest
     steps:
       - uses: actions/checkout@v4
+      - uses: sbt/setup-sbt@v1
       - name: Setup Java (temurin@8)
         uses: actions/setup-java@v4
         with:
@@ -26,6 +27,7 @@ jobs:
     runs-on: ubuntu-latest
     steps:
       - uses: actions/checkout@v4
+      - uses: sbt/setup-sbt@v1
       - name: Setup Java (temurin@8)
         uses: actions/setup-java@v4
         with:
@@ -59,11 +61,13 @@ jobs:
           - 2.13.13
           - 2.13.14
           - 2.13.15
+          - 2.13.16
     runs-on: ${{ matrix.os }}
     steps:
       - uses: actions/checkout@v4
         with:
           submodules: true
+      - uses: sbt/setup-sbt@v1
       - name: Setup Java (temurin@8)
         uses: actions/setup-java@v4
         with:
@@ -82,6 +86,7 @@ jobs:
       - uses: actions/checkout@v4
         with:
           submodules: true
+      - uses: sbt/setup-sbt@v1
       - name: Setup Java (temurin@8)
         uses: actions/setup-java@v4
         with:
diff --git a/build.sbt b/build.sbt
index 1d17e32..6a994fa 100644
--- a/build.sbt
+++ b/build.sbt
@@ -28,6 +28,7 @@ val bin212 =
   Seq("2.12.20", "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.16",
     "2.13.15",
     "2.13.14",
     "2.13.13",
diff --git a/plugin/src/main/scala-2.13.16/ch/epfl/scala/profilers/tools/SettingsOps.scala b/plugin/src/main/scala-2.13.16/ch/epfl/scala/profilers/tools/SettingsOps.scala
new file mode 100644
index 0000000..aadf96d
--- /dev/null
+++ b/plugin/src/main/scala-2.13.16/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
+}