--- configure.orig 2009-07-11 13:32:15.000000000 +0200 +++ configure 2009-07-11 13:32:21.000000000 +0200 @@ -2089,7 +2089,7 @@ EOF cat > $ENV << EOF -#!/bin/bash +#!/bin/sh # # automatically generated by #