diff --git a/ctl b/ctl
index a373f5b..0ef393d 100755
--- a/ctl
+++ b/ctl
@@ -35,8 +35,8 @@ fi
 
 PLATFORM_PYTHON=3.4
 SHARED_PYTHON=3.4
-if [ -e "$BASE/local_platform" ]; then
-    export PLATFORM_ENV="$BASE/local_platform"
+if [ -e "$BASE/platform_local" ]; then
+    export PLATFORM_ENV="$BASE/platform_local"
 else
     if [ $SYSTEM == "Linux" ]; then
         if [ $PLATFORM == "x86_64" ]; then
@@ -50,8 +50,8 @@ else
         PLATFORM="darwin64"
         PLATFORM_PY=3.5
     fi
+    export PLATFORM_ENV="$BASE/platform_${PLATFORM}"
 fi
-export PLATFORM_ENV="$BASE/platform_${PLATFORM}"
 PATH="$PLATFORM_ENV/bin:$PATH"
 
 SHARED_ENV="$BASE/platform/Shared"