diff --git a/env.sh b/env.sh
index 7a34afc..7b948af 100755
--- a/env.sh
+++ b/env.sh
@@ -11,18 +11,14 @@ install_path=`npm root`
 
 if [[ $sysOS == "Darwin" ]]
 then
-    LLVM_DIR="$(brew --prefix llvm@${MajorLLVMVer})"
+    export LLVM_DIR="$(brew --prefix llvm@${MajorLLVMVer})"
 elif [[ $sysOS == "Linux" ]]
 then
-    LLVM_DIR=$install_path/$LLVMHome
+    export LLVM_DIR=$install_path/$LLVMHome
 fi
 
-Z3_DIR=$install_path/$Z3Home
-SVF_DIR=$install_path/SVF
-
-export LLVM_DIR=$LLVM_DIR
-export Z3_DIR=$Z3_DIR
-export SVF_DIR=$SVF_DIR
+export Z3_DIR=$install_path/$Z3Home
+export SVF_DIR=$install_path/SVF
 export PATH=$SVF_DIR/Release-build/bin:$PATH
 export PATH=$LLVM_DIR/bin:$PATH
 export PATH=$PROJECTHOME/bin:$PATH