Merge pull request #5699 from ThomasWaldmann/vagrant-updates-master

use pyinstaller v4.2, fixes #5671

Vagrantfile

@@ -183,7 +183,7 @@ def install_pyinstaller()
     . borg-env/bin/activate
     git clone https://github.com/thomaswaldmann/pyinstaller.git
     cd pyinstaller
-    git checkout v4.1-maint
+    git checkout v4.2-maint
     python setup.py install
   EOF
 end