--- mirrorbrain/mirrorbrain.py.orig 2019-05-03 23:32:01.146785304 +0200
+++ mirrorbrain/mirrorbrain.py	2019-05-03 23:31:54.441952637 +0200
@@ -1,4 +1,4 @@
-#!/usr/bin/python
+#!/usr/bin/python2
 
 ################################################################################
 # mirrorprobe -- fetch mirrors from a database, try to access them and mark them 
--- tools/null-rsync.orig	2019-05-03 23:29:43.252226767 +0200
+++ tools/null-rsync	2019-05-03 23:30:00.125805646 +0200
@@ -1,4 +1,4 @@
-#!/usr/bin/python
+#!/usr/bin/python2
 
 """
 Create a local file tree as copy from a remote server via rsync.