diff --git a/init-workspace.sh b/init-workspace.sh
old mode 100644
new mode 100755
index b8d7e86..5306cde
--- a/init-workspace.sh
+++ b/init-workspace.sh
@@ -15,7 +15,11 @@ elif [ -n "$ZSH_VERSION" ]; then
     command -v xargs > /dev/null && command -v readlink > /dev/null && export TGC_HAMMER_HOME=`dirname ${(%):-%x} | xargs readlink -f`
 else
     echo "ERROR: unknown shell"
-elif [ -f "source.sh" ]; then
+    exit
+fi
+
+
+if [ -f "source.sh" ]; then
     echo "Directory already seems to be workspace."
 elif [ -f "init-workspace.sh" ]; then
     echo "Cannot create workspace in TGC-Hammer directly, use different directory."
diff --git a/scripts/build_hammer.sh b/scripts/build_hammer.sh
old mode 100644
new mode 100755