diff --git a/.gitignore b/.gitignore
index a704fcfe78..548c1734e8 100644
--- a/.gitignore
+++ b/.gitignore
@@ -13,6 +13,8 @@ build/*
 .gdbinit
 .gdb_history
 
+.liquid/
+
 ## OS X
 .DS_Store
 .AppleDouble
diff --git a/shell.nix b/shell.nix
index faa04c47de..a74be4095e 100644
--- a/shell.nix
+++ b/shell.nix
@@ -52,6 +52,9 @@ in
       # --- Toolchains ---
       rustBuild
       openocd
+      cargo
+      rustup
+      z3
 
       # --- Convenience and support packages ---
       python3Full
@@ -85,8 +88,11 @@ in
 
     # The defaults "objcopy" and "objdump" are wrong (stem from the standard
     # environment for x86), use "llvm-obj{copy,dump}" as defined in the makefile
+
+    # need to get `fixpoint` from the absolute path.
     shellHook = ''
       unset OBJCOPY
       unset OBJDUMP
+      export PATH="/home/mod/.local/bin:$PATH"
     '';
   }