diff --git a/.config/julia/startup.jl b/.config/julia/startup.jl
index dac2f62..d97c476 100644
--- a/.config/julia/startup.jl
+++ b/.config/julia/startup.jl
@@ -2,5 +2,6 @@ using OhMyREPL
 using Pluto
 using Symbolics
 using Unitful
+using Nemo
 τ = 2*π
 pluto_custom() = Pluto.run(;port=8080, host="0.0.0.0", auto_reload_from_file=true, require_secret_for_access=false, warn_about_untrusted_code=false)
diff --git a/.config/shell/bin/upd b/.config/shell/bin/upd
index 1a955d0..7b0bf4c 100755
--- a/.config/shell/bin/upd
+++ b/.config/shell/bin/upd
@@ -23,6 +23,8 @@ fi
 # Avoiding copy pasting this over and over
 g() { git -C "$REPO" "$@"; }
 
+REPOS_TO_UPDATE="${REPOS_TO_UPDATE:-}"
+
 # path_append from https://superuser.com/questions/39751/add-directory-to-path-if-its-not-already-there
 # checks if a path is already in the PATH and if it exists
 path_append() {