diff --git a/.github/workflows/docker-image.yml b/.github/workflows/docker-image.yml
index 349755a..57f4896 100644
--- a/.github/workflows/docker-image.yml
+++ b/.github/workflows/docker-image.yml
@@ -60,6 +60,8 @@ jobs:
         run: bash ./scripts/prepare-circomlib.sh
       - name: preparing rosette
         run: raco pkg install --auto rosette
+      - name: preparing rosette
+        run: raco pkg install --auto csv-reading
       - name: run picus with z3, using v3
         run: racket ./picus-dpvl-uniqueness.rkt --solver z3 --r1cs ./benchmarks/circomlib-cff5ab6/Decoder@multiplexer.r1cs --weak
 
@@ -79,5 +81,7 @@ jobs:
         run: bash ./scripts/prepare-circomlib.sh
       - name: preparing rosette
         run: raco pkg install --auto rosette
+      - name: preparing rosette
+        run: raco pkg install --auto csv-reading
       - name: run picus with cvc5, using v3
         run: racket ./picus-dpvl-uniqueness.rkt --solver cvc5 --r1cs ./benchmarks/circomlib-cff5ab6/Decoder@multiplexer.r1cs --weak
\ No newline at end of file