diff --git a/certora/stata/conf/verifyDoubleClaim.conf b/certora/stata/conf/verifyDoubleClaim.conf
index 7c71fa79..d7839d0b 100644
--- a/certora/stata/conf/verifyDoubleClaim.conf
+++ b/certora/stata/conf/verifyDoubleClaim.conf
@@ -21,8 +21,6 @@
     "StataTokenV2Harness:_reward_A=DummyERC20_rewardToken"
   ],
   "packages": [
-//     "aave-v3-core/=certora/stata/munged/src/core",
-  //   "aave-v3-periphery/=certora/stata/munged/src/periphery",
      "solidity-utils/=certora/stata/munged/lib/solidity-utils/src",
      "forge-std/=certora/stata/munged/lib/forge-std/src",
      "openzeppelin-contracts-upgradeable/=certora/stata/munged/lib/solidity-utils/lib/openzeppelin-contracts-upgradeable",
@@ -37,4 +35,4 @@
   "loop_iter": "2",
   "optimistic_hashing": true,
   "build_cache": true,
-}
\ No newline at end of file
+}
diff --git a/certora/stata/conf/verifyERC4626.conf b/certora/stata/conf/verifyERC4626.conf
index 74e08a5a..d8129a6d 100644
--- a/certora/stata/conf/verifyERC4626.conf
+++ b/certora/stata/conf/verifyERC4626.conf
@@ -21,8 +21,6 @@
     "StataTokenV2Harness:_reward_A=DummyERC20_rewardToken"
   ],
   "packages": [
-//     "aave-v3-core/=certora/stata/munged/src/contracts",
-//     "aave-v3-periphery/=certora/stata/munged/src/contracts/extensions",
      "solidity-utils/=certora/stata/munged/lib/solidity-utils/src",
      "forge-std/=certora/stata/munged/lib/forge-std/src",
      "openzeppelin-contracts-upgradeable/=certora/stata/munged/lib/solidity-utils/lib/openzeppelin-contracts-upgradeable",
@@ -37,4 +35,4 @@
   "loop_iter": "1",
   "optimistic_hashing": true,
   "build_cache": true,
-}
\ No newline at end of file
+}
diff --git a/certora/stata/conf/verifyERC4626DepositSummarization.conf b/certora/stata/conf/verifyERC4626DepositSummarization.conf
index cc18484d..28930b3f 100644
--- a/certora/stata/conf/verifyERC4626DepositSummarization.conf
+++ b/certora/stata/conf/verifyERC4626DepositSummarization.conf
@@ -21,8 +21,6 @@
     "StataTokenV2Harness:_reward_A=DummyERC20_rewardToken"
   ],
   "packages": [
-//     "aave-v3-core/=certora/stata/munged/src/core",
-//     "aave-v3-periphery/=certora/stata/munged/src/periphery",
      "solidity-utils/=certora/stata/munged/lib/solidity-utils/src",
      "forge-std/=certora/stata/munged/lib/forge-std/src",
      "openzeppelin-contracts-upgradeable/=certora/stata/munged/lib/solidity-utils/lib/openzeppelin-contracts-upgradeable",
@@ -36,4 +34,4 @@
   "loop_iter": "1",
   "optimistic_hashing": true,
   "build_cache": true,
-}
\ No newline at end of file
+}
diff --git a/certora/stata/conf/verifyERC4626Extended.conf b/certora/stata/conf/verifyERC4626Extended.conf
index b9e5e77c..f6a2b2f6 100644
--- a/certora/stata/conf/verifyERC4626Extended.conf
+++ b/certora/stata/conf/verifyERC4626Extended.conf
@@ -21,8 +21,6 @@
     "StataTokenV2Harness:_reward_A=DummyERC20_rewardToken"
   ],
   "packages": [
-//     "aave-v3-core/=certora/stata/munged/src/core",
- //    "aave-v3-periphery/=certora/stata/munged/src/periphery",
      "solidity-utils/=certora/stata/munged/lib/solidity-utils/src",
      "forge-std/=certora/stata/munged/lib/forge-std/src",
      "openzeppelin-contracts-upgradeable/=certora/stata/munged/lib/solidity-utils/lib/openzeppelin-contracts-upgradeable",
@@ -37,4 +35,4 @@
   "loop_iter": "1",
   "optimistic_hashing": true,
   "build_cache": true,
-}
\ No newline at end of file
+}
diff --git a/certora/stata/conf/verifyERC4626MintDepositSummarization.conf b/certora/stata/conf/verifyERC4626MintDepositSummarization.conf
index b968b7ea..4b02aad6 100644
--- a/certora/stata/conf/verifyERC4626MintDepositSummarization.conf
+++ b/certora/stata/conf/verifyERC4626MintDepositSummarization.conf
@@ -21,8 +21,6 @@
     "StataTokenV2Harness:_reward_A=DummyERC20_rewardToken"
   ],
   "packages": [
-     //"aave-v3-core/=certora/stata/munged/src/core",
-     //"aave-v3-periphery/=certora/stata/munged/src/periphery",
      "solidity-utils/=certora/stata/munged/lib/solidity-utils/src",
      "forge-std/=certora/stata/munged/lib/forge-std/src",
      "openzeppelin-contracts-upgradeable/=certora/stata/munged/lib/solidity-utils/lib/openzeppelin-contracts-upgradeable",
@@ -38,4 +36,4 @@
   "loop_iter": "1",
   "optimistic_hashing": true,
   "build_cache": true,
-}
\ No newline at end of file
+}
diff --git a/certora/stata/conf/verifyStataToken.conf b/certora/stata/conf/verifyStataToken.conf
index fa701c86..af5e04c9 100644
--- a/certora/stata/conf/verifyStataToken.conf
+++ b/certora/stata/conf/verifyStataToken.conf
@@ -21,8 +21,6 @@
     "StataTokenV2Harness:_reward_A=DummyERC20_rewardToken"
   ],
   "packages": [
-//     "aave-v3-core/=certora/stata/munged/src/core",
-  //   "aave-v3-periphery/=certora/stata/munged/src/periphery",
      "solidity-utils/=certora/stata/munged/lib/solidity-utils/src",
      "forge-std/=certora/stata/munged/lib/forge-std/src",
      "openzeppelin-contracts-upgradeable/=certora/stata/munged/lib/solidity-utils/lib/openzeppelin-contracts-upgradeable",
@@ -37,4 +35,4 @@
   "loop_iter": "1",
   "optimistic_hashing": true,
   "build_cache": true,
-}
\ No newline at end of file
+}
diff --git a/remappings.txt b/remappings.txt
index 78eeabcf..0cb8682c 100644
--- a/remappings.txt
+++ b/remappings.txt
@@ -1,5 +1,3 @@
-aave-v3-core/=src/core/
-aave-v3-periphery/=src/periphery/
 solidity-utils/=lib/solidity-utils/src/
 forge-std/=lib/forge-std/src/
 ds-test/=lib/forge-std/lib/ds-test/src/