From 63b7f0882516c86dbbe2bfe0eb48d472fd70970f Mon Sep 17 00:00:00 2001
From: j <j@mailb.org>
Date: Sat, 15 Dec 2018 00:54:49 +0100
Subject: [PATCH] linux64 platform is 3.7 now

---
 ctl | 1 +
 1 file changed, 1 insertion(+)

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