--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/winpaths.py	Mon Feb 13 22:10:58 2023 +0100
@@ -0,0 +1,11 @@
+import os
+
+PATH = os.environ["PATH"]
+instdir = os.path.dirname(os.path.dirname(os.path.realpath(__file__)))
+os.environ["PATH"] = ';'.join([
+    os.path.join(instdir, "msys2", "bin"),
+    os.path.join(instdir, "msys2", "usr", "bin"),
+    os.path.join(instdir, "msys2", "mingw32", "bin"),
+    PATH
+])
+