--- configure.py.orig	2013-09-15 20:54:06.000000000 +0200
+++ configure.py	2013-09-15 20:54:33.000000000 +0200
@@ -1,4 +1,4 @@
-#!/usr/bin/env python
+#!/usr/bin/python
 #
 # Copyright 2001 Google Inc. All Rights Reserved.
 #