diff --git a/.github/workflows/audit.yml b/.github/workflows/audit.yml
index 21882d3b..a2277891 100644
--- a/.github/workflows/audit.yml
+++ b/.github/workflows/audit.yml
@@ -12,6 +12,6 @@ jobs:
       - uses: actions/checkout@v4
       - run: bash scripts/prep.sh
       - run: cp audit.log audit_.log
-      - run: DAFNY=dafny-4.3.0/Scripts/dafny bash scripts/audit.sh
+      - run: DAFNY=dafny/dafny bash scripts/audit.sh
       - run: cat audit.log
       - run: diff audit.log audit_.log
diff --git a/.github/workflows/build_java.yml b/.github/workflows/build_java.yml
index 13d39869..c8a13168 100644
--- a/.github/workflows/build_java.yml
+++ b/.github/workflows/build_java.yml
@@ -11,5 +11,5 @@ jobs:
     steps:
       - uses: actions/checkout@v4
       - run: bash scripts/prep.sh
-      - run: DAFNY=dafny-4.3.0/Scripts/dafny TARGET_LANG=java bash scripts/build.sh
+      - run: DAFNY=dafny/dafny TARGET_LANG=java bash scripts/build.sh
       - run: build/java/run.sh
diff --git a/.github/workflows/test_cs.yml b/.github/workflows/test_cs.yml
index 69b2cff4..4d2cee53 100644
--- a/.github/workflows/test_cs.yml
+++ b/.github/workflows/test_cs.yml
@@ -11,4 +11,4 @@ jobs:
     steps:
       - uses: actions/checkout@v4
       - run: bash scripts/prep.sh
-      - run: DAFNY=dafny-4.3.0/Scripts/dafny TARGET_LANG=cs bash scripts/test.sh
+      - run: DAFNY=dafny/dafny TARGET_LANG=cs bash scripts/test.sh
diff --git a/.github/workflows/test_java.yml b/.github/workflows/test_java.yml
index 3002871c..44b0cdff 100644
--- a/.github/workflows/test_java.yml
+++ b/.github/workflows/test_java.yml
@@ -11,4 +11,4 @@ jobs:
     steps:
       - uses: actions/checkout@v4
       - run: bash scripts/prep.sh
-      - run: DAFNY=dafny-4.3.0/Scripts/dafny TARGET_LANG=java bash scripts/test.sh
+      - run: DAFNY=dafny/dafny TARGET_LANG=java bash scripts/test.sh
diff --git a/.github/workflows/verify.yml b/.github/workflows/verify.yml
index d5c2f69c..5ae83d1d 100644
--- a/.github/workflows/verify.yml
+++ b/.github/workflows/verify.yml
@@ -11,4 +11,4 @@ jobs:
     steps:
       - uses: actions/checkout@v4
       - run: bash scripts/prep.sh
-      - run: DAFNY=dafny-4.3.0/Scripts/dafny bash scripts/verify.sh
+      - run: DAFNY=dafny/dafny bash scripts/verify.sh
diff --git a/scripts/prep.sh b/scripts/prep.sh
index 5c7cc70d..f7249a7f 100755
--- a/scripts/prep.sh
+++ b/scripts/prep.sh
@@ -1,10 +1,6 @@
 #!/bin/bash
 
-VERSION=https://github.com/dafny-lang/dafny/archive/refs/tags/v4.3.0.zip
+VERSION=https://github.com/dafny-lang/dafny/releases/download/v4.3.0/dafny-4.3.0-x64-ubuntu-20.04.zip
 
 wget $VERSION
-unzip `basename $VERSION` 
-
-cd dafny-4.3.0
-make exe
-cd ..
\ No newline at end of file
+unzip `basename $VERSION`
\ No newline at end of file