net9 sdk is NOT YET installed by default
diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml
index a740507..1e953b6 100644
--- a/.github/workflows/build.yml
+++ b/.github/workflows/build.yml
@@ -312,9 +312,11 @@
           sudo apt-get install -y --no-install-recommends curl openssl ca-certificates
 
 #      the sdk is installed by default, but keep this step for reference
-#      - name: Set up .NET SDK
-#        run: |
-#          sudo apt-get install -y --no-install-recommends dotnet-sdk-9.0
+#      caveat: net9 is (currently?) NOT installed, so manually again
+      - name: Set up .NET SDK
+        run: |
+          sudo apt-get install -y --no-install-recommends dotnet-sdk-9.0
+#      end
 
       - name: Run bootstrap
         run: ./bootstrap.sh