diff --git a/certora/scripts/verifyERC1155Pausable.sh b/certora/scripts/verifyERC1155Pausable.sh
index fe7d1a024..69a2bc527 100755
--- a/certora/scripts/verifyERC1155Pausable.sh
+++ b/certora/scripts/verifyERC1155Pausable.sh
@@ -1,3 +1,5 @@
+make -C certora munged
+
 certoraRun \
     certora/harnesses/ERC1155/ERC1155PausableHarness.sol \
     --verify ERC1155PausableHarness:certora/specs/ERC1155Pausable.spec \
diff --git a/certora/scripts/verifyERC1155Supply.sh b/certora/scripts/verifyERC1155Supply.sh
index dba264693..20552f216 100755
--- a/certora/scripts/verifyERC1155Supply.sh
+++ b/certora/scripts/verifyERC1155Supply.sh
@@ -1,3 +1,5 @@
+make -C certora munged
+
 certoraRun \
     certora/harnesses/ERC1155/ERC1155SupplyHarness.sol \
     --verify ERC1155SupplyHarness:certora/specs/ERC1155Supply.spec \