diff --git a/install b/install
index 41d7cfbc..e6bb2f2b 100755
--- a/install
+++ b/install
@@ -29,10 +29,6 @@ print_help() {
     exit 1
 }
 
-if [[ $# -eq 1 ]]; then
-   install_dir=${1:-}
-fi
-
 while [[ $# -gt 0 ]]
 do
     key="$1"
diff --git a/sci b/sci
index 5e353826..8d9d10b3 160000
--- a/sci
+++ b/sci
@@ -1 +1 @@
-Subproject commit 5e3538264ad3198dbbd840a5a2ea5ef7ae5103cd
+Subproject commit 8d9d10b355cbd7ea1919d8935891c94e76f19485