diff --git a/.github/workflows/build-circuits.yml b/.github/workflows/build-circuits.yml
index 5689388..427a07c 100644
--- a/.github/workflows/build-circuits.yml
+++ b/.github/workflows/build-circuits.yml
@@ -919,6 +919,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