diff --git a/defaults/.profile b/defaults/.profile
index 2fcc369..9205c4b 100644
--- a/defaults/.profile
+++ b/defaults/.profile
@@ -1,7 +1,7 @@
 export LANG="${LANG:-C.UTF-8}"
 
 # Ensure user-local binaries are on PATH.
-[[ ":$PATH:" == *":$HOME/.local/bin:"* ]] || export PATH="$HOME/.local/bin:$PATH"
+case ":$PATH:" in *":$HOME/.local/bin:"*) ;; *) export PATH="$HOME/.local/bin:$PATH" ;; esac
 
 if [ -n "${BASH_VERSION:-}" ] && [ -f "$HOME/.bashrc" ]; then
   . "$HOME/.bashrc"