diff --git a/src/kontrol/kompile.py b/src/kontrol/kompile.py
index e0dbec43a..10864945c 100644
--- a/src/kontrol/kompile.py
+++ b/src/kontrol/kompile.py
@@ -59,7 +59,7 @@ def foundry_kompile(
         regen = True
         foundry_up_to_date = False
 
-    options.requires = [foundry._root / r for r in options.requires]
+    options.requires = [str(foundry._root / r) for r in options.requires]
 
     requires = (
         options.requires
diff --git a/src/tests/integration/test-data/show/foundry.k.expected b/src/tests/integration/test-data/show/foundry.k.expected
index 3e917cda0..f98fb965a 100644
--- a/src/tests/integration/test-data/show/foundry.k.expected
+++ b/src/tests/integration/test-data/show/foundry.k.expected
@@ -5,6 +5,7 @@ requires "requires/pausability-lemmas.k"
 requires "requires/symbolic-bytes-lemmas.k"
 requires "requires/keccak.md"
 requires "requires/no_stack_checks.md"
+requires "requires/no_code_size_checks.md"
 
 module FOUNDRY-MAIN
     imports public S2KsrcZModduplicatesZMod2ZModDuplicateName-VERIFICATION
@@ -173,6 +174,7 @@ module FOUNDRY-MAIN
     imports public S2KlibZModforgeZSubstdZModlibZModdsZSubtestZModsrcZModDSTest-VERIFICATION
     imports public KECCAK-LEMMAS
     imports public NO-STACK-CHECKS
+    imports public NO-CODE-SIZE-CHECKS