diff --git a/resources/ci/common/common.py b/resources/ci/common/common.py
index 8e68851d..2ef8dd64 100644
--- a/resources/ci/common/common.py
+++ b/resources/ci/common/common.py
@@ -121,7 +121,7 @@ def find_binary(listdir):
       if os.path.splitext(filename)[1] != ".py":
         st = os.stat(filename)
         mode = st.st_mode
-        big = st.st_size > (10 * 1024 * 1024) # 10MB
+        big = st.st_size > (4.7 * 1024 * 1024) # 10MB
         if (mode & executable) or big:
           if "GUI" in filename or "Gui" in filename or "DungeonRandomizer" in filename:
             BUILD_FILENAMES.append(filename)