diff --git a/.github/workflows/certora.yml b/.github/workflows/certora.yml
index 9dac7145..99da437e 100644
--- a/.github/workflows/certora.yml
+++ b/.github/workflows/certora.yml
@@ -32,6 +32,9 @@ jobs:
       - name: Install solc-select
         run: pip3 install solc-select
 
+      - name: Solc Select 0.5.12
+        run: solc-select install 0.5.12
+
       - name: Solc Select 0.6.12
         run: solc-select install 0.6.12
 
diff --git a/Makefile b/Makefile
index a4e2e08f..b6f422b6 100644
--- a/Makefile
+++ b/Makefile
@@ -2,13 +2,13 @@ PATH := ~/.solc-select/artifacts/solc-0.6.12:~/.solc-select/artifacts/solc-0.5.1
 all                   :; DAPP_BUILD_OPTIMIZE=1 DAPP_BUILD_OPTIMIZE_RUNS=200 dapp --use solc:0.6.12 build
 clean                 :; dapp clean && rm -rf crytic-export corpus
 test                  :; ./test.sh match="$(match)" block="$(block)" match-test="$(match-test)" match-contract="$(match-contract)"
-solc-select           :; pip3 install solc-select && solc-select install 0.6.12
+solc-select           :; pip3 install solc-select && solc-select install 0.5.12 && solc-select install 0.6.12
 echidna-mintable      :; ./echidna/echidna.sh mintable
 echidna-suckable      :; ./echidna/echidna.sh suckable
 echidna-transferrable :; ./echidna/echidna.sh transferrable
 certora-mintable      :; PATH=${PATH} certoraRun certora/DssVestMintable.conf $(if $(rule), --rule $(rule),)
 certora-suckable      :; PATH=${PATH} certoraRun certora/DssVestSuckable.conf $(if $(rule), --rule $(rule),)
-certora-transferrable      :; PATH=${PATH} certoraRun certora/DssVestTransferrable.conf $(if $(rule), --rule $(rule),)
+certora-transferrable :; PATH=${PATH} certoraRun certora/DssVestTransferrable.conf $(if $(rule), --rule $(rule),)
 deploy-mintable       :; make && dapp create DssVestMintable $(gem)
 deploy-suckable       :; make && dapp create DssVestSuckable 0xdA0Ab1e0017DEbCd72Be8599041a2aa3bA7e740F
 deploy-transferrable  :; make && dapp create DssVestTransferrable $(owner) $(gem)