Index: tools/splitconfig
--- tools/splitconfig.orig	2013-01-17 08:25:13.000000000 +0100
+++ tools/splitconfig	2015-08-16 01:07:42.883126412 +0200
@@ -1,4 +1,4 @@
-#! /usr/bin/python
+#! /usr/bin/env python
 
 """Extract configuration items into various configuration headers.
 
