diff -r e596cfc1ca46 -r eae5b817aa47 configure
--- a/configure	Fri Oct 10 09:05:11 2025 +0200
+++ b/configure	Fri Oct 10 09:06:06 2025 +0200
@@ -675,6 +675,36 @@
 done
 while true
 do
+    if notisplatform "unix"; then
+        break
+    fi
+    while true
+    do
+
+        cat >> "$TEMP_DIR/make.mk" << __EOF__
+SYS_MAKEFILE = Makefile.unix
+__EOF__
+        break
+    done
+    break
+done
+while true
+do
+    if notisplatform "windows"; then
+        break
+    fi
+    while true
+    do
+
+        cat >> "$TEMP_DIR/make.mk" << __EOF__
+SYS_MAKEFILE = Makefile.win32
+__EOF__
+        break
+    done
+    break
+done
+while true
+do
     if notisplatform "macos"; then
         break
     fi