diff --git a/.github/workflows/build-circuits.yml b/.github/workflows/build-circuits.yml
index 91f175c..0427d14 100644
--- a/.github/workflows/build-circuits.yml
+++ b/.github/workflows/build-circuits.yml
@@ -1126,6 +1126,9 @@ jobs:
       - name: Initialise Submodules
         run: git submodule update --init --recursive
 
+      - name: Replace Prover Makefile
+        run: cp .github/resources/prover/Makefile rapidsnark/Makefile
+
       - name: Setup Dependencies
         run: mkdir include