diff --git a/.github/workflows/end2end-smoke-test.yml b/.github/workflows/end2end-smoke-test.yml
index 889e22d..4a36785 100644
--- a/.github/workflows/end2end-smoke-test.yml
+++ b/.github/workflows/end2end-smoke-test.yml
@@ -31,7 +31,6 @@ jobs:
             
             - name: Running the generator
               run: |
-                ls -R
                 cd generator
                 source ~/.bash_profile
                 export OPAMCONFIRMLEVEL=yes
@@ -39,6 +38,7 @@ jobs:
 
                 opam install . --deps-only
                 opam install sail=0.17.1
+                sudo apt-get install z3
                 
                 mv riscv_ast.gen.inc old_riscv_ast.gen.inc
                 mv riscv_decode.gen.inc old_riscv_decode.gen.inc