From cdffd93139cef65e0c8f0ba441fbf4317d40904c Mon Sep 17 00:00:00 2001
From: Thomas Waldmann <tw@waldmann-edv.de>
Date: Tue, 17 Jan 2017 02:09:28 +0100
Subject: [PATCH] pyinstaller: use fixed AND freshly compiled bootloader, fixes
 #2002

---
 Vagrantfile | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

diff --git a/Vagrantfile b/Vagrantfile
index 0f1bcee2a..f0caae042 100644
--- a/Vagrantfile
+++ b/Vagrantfile
@@ -283,9 +283,10 @@ def install_pyinstaller(bootloader)
     . ~/.bash_profile
     cd /vagrant/borg
     . borg-env/bin/activate
-    git clone https://github.com/pyinstaller/pyinstaller.git
+    git clone https://github.com/thomaswaldmann/pyinstaller.git
     cd pyinstaller
-    git checkout v3.1.1
+    # develop branch, with fixed / freshly rebuilt bootloaders
+    git checkout fresh-bootloader
   EOF
   if bootloader
     script += <<-EOF