diff --git a/ctl b/ctl
index f02ceeb..3cd0f6c 100755
--- a/ctl
+++ b/ctl
@@ -43,6 +43,7 @@ else
     if [ $SYSTEM == "Linux" ]; then
         if [ $PLATFORM == "x86_64" ]; then
             ARCH=64
+            PLATFORM_PYTHON=3.7
         else
             ARCH=32
         fi