diff --git a/.github/workflows/release.yml b/.github/workflows/release.yml
index a88a3a6..ba11d13 100644
--- a/.github/workflows/release.yml
+++ b/.github/workflows/release.yml
@@ -26,8 +26,6 @@ jobs:
 
   build:
     name: Build ${{ matrix.target }}
-    permissions:
-      contents: write
     strategy:
       fail-fast: false
       matrix:
@@ -157,11 +155,6 @@ jobs:
               tail -80 "$build_log"
               echo '```'
             } >> "$GITHUB_STEP_SUMMARY"
-            git config user.name github-actions
-            git config user.email github-actions@github.com
-            diagnostic_tag="diagnostic-${{ matrix.target }}-${{ github.run_id }}"
-            git tag -f -F "$build_log" "$diagnostic_tag"
-            git push --force origin "refs/tags/$diagnostic_tag"
             exit 1
           fi
           cat "$build_log"
diff --git a/src/app/benchmark.c b/src/app/benchmark.c
index cd7f43d..f0335b0 100644
--- a/src/app/benchmark.c
+++ b/src/app/benchmark.c
@@ -25,6 +25,7 @@
 #endif
 #if defined(__APPLE__)
 #  include <sys/types.h>
+#  include <sys/sysctl.h>
 #  include <mach/mach_time.h>
 #  include <mach/mach.h>
 #endif