diff --git a/.github/workflows/acl2.yml b/.github/workflows/acl2.yml
index cce87d7dd0..cd9ec18a55 100644
--- a/.github/workflows/acl2.yml
+++ b/.github/workflows/acl2.yml
@@ -28,10 +28,11 @@ jobs:
       #   run: |
       #     cargo run -p leo-test-framework --bin tgc
 
-      - name: Download tgc
-        uses: pozetroninc/github-action-get-latest-release@master
+      - name: fetch-latest-release
+        uses: thebritican/fetch-latest-release@v1
         with:
-          repository: AleoHQ/leo-acl2-bin
+          repo_path: AleoHQ/leo-acl2-bin
+          github_token: ${{ github.token }}
       
       - name: List files
         run: |
diff --git a/FORMAT_ABNF_GRAMMER.md b/FORMAT_ABNF_GRAMMER.md
deleted file mode 100644
index e69de29bb2..0000000000